why3_1.2.0-2_mips64el.buildinfo (view)

Source
why3
Version
1.2.0-2
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Fri, 30 Aug 2019 00:44:08 +0000
Build-Path
/build/why3-rrzVsO/why3-1.2.0

First submitted
Fri, 30 Aug 2019 12:14:39 +0000
SHA1 of .buildinfo
cca76d950e0c805f91c8d11e061ea9df9bd27e03

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-2_mips64el.deb)
SHA1: a0cfe2ceec48ed6343ec404a75d13c228854fc3b
SHA256: 6f03b36e3aa366ab538ee92489a43d09765ec3634c58c25ba8999f0fd22966c4

Size: 4,094,672 bytes
why3 (why3_1.2.0-2_mips64el.deb)
SHA1: 3cdfd541989738b3b0de93c13044dad014389475
SHA256: 1808b6fb8e9033f5b89b3c68e947d5527224181feaf7c868a3b8956307501166

Size: 54,096,816 bytes
why3-coq (why3-coq_1.2.0-2_mips64el.deb)
SHA1: 8f3f008b7c2eae8db3df7a895a04f5ad1918c28b
SHA256: 7f5d1b879a6dd9818bb43c8eacd25285c18a3bedca714d82c168a43c393d94fa

Size: 596,480 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-2_mips64el.deb
SHA1: 71c0cef8ab8f0482d71a23a4f759870b8ee522bf
Size: 103,180 bytes

Submissions

m4xuimua
Submitted
Fri, 30 Aug 2019 12:14:39 +0000
Signed by
0x2378023FC330EAE7

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1567106629"