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
Thu, 13 Jul 2017 08:40:24 +0000
Build-Path
/build/why3-0.87.3

First submitted
Thu, 13 Jul 2017 08:41:16 +0000
SHA1 of .buildinfo
377c4ab828db7843a2d2ecd40d3ea0c9893e8a38

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_i386.deb)
SHA1: 1513bff5a063a7c32832ecf6eeb8e930fc49316d
SHA256: e95d8f7e1c977087e83786b14b2dce2336e331391af8844d2375e67c6d0cff26

Size: 4,657,916 bytes
why3 (why3_0.87.3-2_i386.deb)
SHA1: fa43ff76fc4cfc8bbb858cad6e65350e63ff6fa0
SHA256: 83b95679e96ac29ac8657205b0f701856562bc99072484bd4b38715a5060c404

Size: 11,367,302 bytes
why3-coq (why3-coq_0.87.3-2_i386.deb)
SHA1: ac3436fa9b5c052100c32764f7f940475a2dedf6
SHA256: f31d1e5ba46210f1bd1344e343976d55c75e018f48b32eb88243ce853c72b90e

Size: 5,000,110 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: 5182c3013f0506488cea913bfc53adcc900b91e1
SHA256: fe7c5a26517026af0e00ac68b4495509ac0c369121b11daff0bf464ea955708c

Size: 1,228,906 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: 60b6aab7187e39d12a395c762987f62a099aefd8
Size: 3,817,430 bytes
why3-coq-dbgsym_0.87.3-2_i386.deb
SHA1: 248c16568d5dba2250969d6ffe0e5059772e5ac2
Size: 293,572 bytes

Submissions

eik99m4y
Submitted
Thu, 13 Jul 2017 08:41:16 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1485028928"