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
Sun, 26 Nov 2017 06:23:10 +0000
Build-Path
/build/1st/why3-0.87.3

First submitted
Sun, 26 Nov 2017 07:13:29 +0000
SHA1 of .buildinfo
45f48b81a2027e53424e07f4eb30c119172fea97

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_amd64.deb)
SHA1: 81316e1a76af6544b276ab6691a4b7e71fb7a412
SHA256: 80d3c258c8f1091220d88250164099e37a4f5a35f4182b220d40a6c7e08718de

Size: 4,748,892 bytes
why3 (why3_0.87.3-2_amd64.deb)
SHA1: 2f36fc14363c92485f00c1d5f844f0dfadce8315
SHA256: c6a5a20c8ef387f4c8b2c4ccba1e644ecadf809fee1cd524d3cee30a4c0a77ae

Size: 21,747,476 bytes
why3-coq (why3-coq_0.87.3-2_amd64.deb)
SHA1: d1670f10ebdf726a055352fe036e81162ee3e02d
SHA256: 680dcc9cbcc831bef19173937dcff1dce409ec463baf180129e966c267e42840

Size: 5,237,540 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: 394925b77c89c91a1ed7ff5a996f00182383fb3b
Size: 4,489,692 bytes
why3-coq-dbgsym_0.87.3-2_amd64.deb
SHA1: 801d955285fdd0a562845b1571392372225148b1
Size: 430,408 bytes

Submissions

pj9wphcf
Submitted
Sun, 26 Nov 2017 07:13:29 +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/1st/why3-0.87.3"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1485028928"