why3_0.87.3-2_all.buildinfo (view)

Source
why3
Version
0.87.3-2
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 3 May 2017 03:48:44 +0000
Build-Path
/build/why3-0.87.3/2nd

First submitted
Wed, 3 May 2017 04:02:24 +0000
SHA1 of .buildinfo
40cb4da9347e8c6746cdc88fb5cac291e28a80ce

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_i386.deb)
SHA1: 1ca948bafb2d30b1de19bdb488959d9e62768bb9
SHA256: eff7a599766b87ffd7f8bf1eba49cc8d9eecca3e715950dd73c1bf756fa96707

Size: 4,654,340 bytes
why3 (why3_0.87.3-2_i386.deb)
SHA1: 391f5642f9b345f1dfae71b275073569ae750434
SHA256: 1fdebfb6160720976b4764ed3a5948c39d4258982f49e2acb579dc9f63dd249e

Size: 11,408,378 bytes
why3-coq (why3-coq_0.87.3-2_i386.deb)
SHA1: e60c3984fbe64e354641508e999b5a5e3feebb52
SHA256: 80c27cd5b5ec6b43da83c0b4ee81fd52a5f6d3abdecf091869239b3796b2ca4a

Size: 4,985,598 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 185019b238c2ec441ff37d0d6eea15f25a8b3107
SHA256: d58c99bb0a5453fecabc7a256ccf7d3d8f0216c1ae2fea527b1df15d0c5e423f

Size: 725,012 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 249ed444882cad53d5f79c2d3d4ed0cdd779475f
SHA256: 2e04e13ba434cd94ca93ef4e4553a8b11f1bd50f52d5cd222acb59acc97d2bf2

Size: 1,228,960 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: d576177648ff8de19f0bcf4e5adbf1ef31e72aef
SHA256: 2dcc755f6d9b831df3696ea36b8c3791f8f6c1b2deb5fca24dabbfc73b063a01

Size: 1,750,654 bytes

Other checksums

why3-dbgsym_0.87.3-2_i386.deb
SHA1: 1e8889d59837c903f032ca373d23eeb91e667b71
Size: 3,831,844 bytes
why3-coq-dbgsym_0.87.3-2_i386.deb
SHA1: da19079c2e85a7ca50a72b27bcd8bfa1fdc9c420
Size: 292,426 bytes

Submissions

xjubgnp3
Submitted
Wed, 3 May 2017 04:02:26 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_0.87.3-2=/build/why3-0.87.3/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1485028928"