why3_0.87.3-2_all.buildinfo (view)

Source
why3
Version
0.87.3-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 28 Jul 2017 06:39:39 +0000
Build-Path
/build/why3-0.87.3/2nd

First submitted
Fri, 28 Jul 2017 06:54:06 +0000
SHA1 of .buildinfo
d086ff532cbcdf66c2c75a4bd16f9b19e42d1ea4

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_amd64.deb)
SHA1: 90edb047418cbbc4a6347d2deea28ceceee2e4d6
SHA256: 06267f4c637ecae022641526077253e43653c5ee4c7085076ef4c7e35c6c3c00

Size: 4,668,652 bytes
why3 (why3_0.87.3-2_amd64.deb)
SHA1: 454babd0ad5eda6b7d6568dee4e317fac2416f8d
SHA256: ea7af009153031cd63968186f2921ce02e528f66a28f1aa1e65fece19932e17e

Size: 13,452,370 bytes
why3-coq (why3-coq_0.87.3-2_amd64.deb)
SHA1: 077f8dfc97dd0fceef912cba922c5d91c3fc7a7e
SHA256: 49ddde51c32285f6f50c092238a0a842430de4bfba4e95cd3030e107e006eec3

Size: 5,151,634 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 76da705c942259b52adae231f67d0e25db0cc297
SHA256: 53eef7f60ddbb5c93c170153ea45c6d114aeee3a6b2a58e8be47692b725a48aa

Size: 725,032 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: bfedcc2385466f7a2e87c66c7c0acf8209b03a10
SHA256: 9988bf265329781be7d6e5607b04b96fdb2650482b0eb05440b37ad8881e85ef

Size: 1,228,920 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: e89975481159b2ae761c1d03e3c94d172e7bc5aa
SHA256: 98ac46bb7c7a0855f9579f213019dce33c777a82dea829c1f25a2507a32beb42

Size: 1,750,674 bytes

Other checksums

why3-dbgsym_0.87.3-2_amd64.deb
SHA1: 63bac7474625daca86888aacf3a947179c9b3176
Size: 3,984,522 bytes
why3-coq-dbgsym_0.87.3-2_amd64.deb
SHA1: c72144ef824755ad31b3fec35c3e7823e22033c2
Size: 305,698 bytes

Submissions

gdc9qici
Submitted
Fri, 28 Jul 2017 06:54:06 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (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=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1485028928"