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, 10 Nov 2017 09:26:24 +0000
Build-Path
/build/why3-0.87.3/2nd

First submitted
Fri, 10 Nov 2017 09:51:39 +0000
SHA1 of .buildinfo
864506215443d4cf4a8d612d3c88dc3bf1ca4774

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_amd64.deb)
SHA1: 8c8930e29685b9db963ff0eb6ad24e69afc042ad
SHA256: 9d740f33800539ade328a3af575ce94fad3a2b79405a524f777c36361560845c

Size: 4,765,396 bytes
why3 (why3_0.87.3-2_amd64.deb)
SHA1: f0159fc73c521607c5eb587c1758ff91e09eb97f
SHA256: 7c59dc53406b0593947ba9ec88448923f5d9ba17b14f1fb83b41b09707bcd316

Size: 21,738,228 bytes
why3-coq (why3-coq_0.87.3-2_amd64.deb)
SHA1: ad305ed8112ddd5d6c0980ea0ecba6884b124bb9
SHA256: 94b463eec8b28c5ae73aaa8c9432ebb8fe80b746078d5493b2ba164789facc1d

Size: 5,239,220 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 0927ad251a6b2ca542169a5ef74e5f5ff7e66ff2
SHA256: 8e5ca782d58c14ad6fccfb4bbf57a89788dd8ffd0c1bdc7e856b53133d38aae8

Size: 725,028 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 45fa81ad32bd115dfbfddcd1a6f520ff617611de
SHA256: 65850919fde8aee117ae31009e40b923db80104f4f8131628ab4de02b88ef077

Size: 1,228,992 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: 61de2445577c228dcbd9c44ca8c9aeb1a14bd815
SHA256: 9b2c26404a4a41a2a7b37233bec7e4833b68f4197ac0413bc6c2e0d092463217

Size: 1,747,000 bytes

Other checksums

why3-dbgsym_0.87.3-2_amd64.deb
SHA1: 061b428ddff9c838e6479ef87a67e8a5bf7adda3
Size: 4,704,016 bytes
why3-coq-dbgsym_0.87.3-2_amd64.deb
SHA1: e300a05156d539e8d1691ce6ddb6524b0f22e867
Size: 431,228 bytes

Submissions

h74r9cjx
Submitted
Fri, 10 Nov 2017 09:51:40 +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"