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, 30 Nov 2017 05:17:56 +0000
Build-Path
/build/why3-0.87.3

First submitted
Thu, 30 Nov 2017 05:18:33 +0000
SHA1 of .buildinfo
1ee06e440faef8838c4b55aa303e699a710ec350

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_i386.deb)
SHA1: 2119c4b6e5c2a753e24d83d701667bab2d64f131
SHA256: deacb629fb6f5d767b1ad6ea0c800ec518b903c7089e2e40658a681d0ebeca67

Size: 4,652,576 bytes
why3 (why3_0.87.3-2_i386.deb)
SHA1: b9e07c8c01dffdde2721de1e2b637fde99cbfa57
SHA256: e129176bf4b0c45dbcf21d1ff4526791b0ffacad2ec5f84e553147d5b5d3534e

Size: 11,364,680 bytes
why3-coq (why3-coq_0.87.3-2_i386.deb)
SHA1: 7543bac636f1840e915d8baff6f817877eaa5d02
SHA256: b2a48c0f61563fdddfdac5fc827fa95c93acb5ae840df304aafd55ebf21ce0b3

Size: 5,001,344 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: abe9b3cb8facd224ffd1882bd872bc9b62392320
SHA256: ae5f2359f8718d5bbb66690125b898e77a578234f03e171a4202f1c1156d9cf4

Size: 725,000 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_i386.deb
SHA1: 82d646d35ee3931e0e7e8b91440941238b8dcbdf
Size: 2,595,028 bytes
why3-coq-dbgsym_0.87.3-2_i386.deb
SHA1: 795ccf047ab5c169daa4bf6a9d91f7e1f42127bd
Size: 291,312 bytes

Submissions

ehujwhqz
Submitted
Thu, 30 Nov 2017 05:18:34 +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"