Source
why3
Version
1.1.1-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 23 Dec 2018 11:54:54 +0000
Build-Path
/build/why3-1.1.1

First submitted
Sun, 23 Dec 2018 11:59:59 +0000
SHA1 of .buildinfo
d616ac337ea43917a27c9ec85bf3260bd27c6769

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-1_i386.deb)
SHA1: 8c9145696c7e9510232f1ab233c3d6f7b2336aec
SHA256: a81675a2764212104c4ef3ca0adda88047959bcbc23c2735b5a94b529c29230a

Size: 3,530,000 bytes
why3 (why3_1.1.1-1_i386.deb)
SHA1: e89d122126ffb20e323de652005ce78348b9b298
SHA256: 70d7441070f69405ad1dffabc280152304bc34186e3afc7ebf2d3e73ea5e7763

Size: 14,690,300 bytes
why3-coq (why3-coq_1.1.1-1_i386.deb)
SHA1: ccd6cd5ab44f5fc4de2caf5f61ee0eb1b1e7d39f
SHA256: 4191c699619fa15e000090e447e44894de124e72461f174fc01e0e3b4f83ba02

Size: 587,536 bytes
why3-doc-html (why3-doc-html_1.1.1-1_all.deb)
SHA1: ef99c17ea02815b96ce7db30c56f94b0fcae27d1
SHA256: 7fabaf10780412d70725bbdf457851e3657a6ba9e1355cd5aad9a5b63ec99998

Size: 355,532 bytes
why3-doc-pdf (why3-doc-pdf_1.1.1-1_all.deb)
SHA1: 9dc5945e46f168638ff844ae06b10d1e4bf62e6f
SHA256: f90fb1a77e13c5163ad90023923f580c63cbd213dd23c15bdc3d24cac75775e2

Size: 1,149,560 bytes
why3-examples (why3-examples_1.1.1-1_all.deb)
SHA1: 9b087263beb927e826f9461526790945c468dc8e
SHA256: 7e830fb6f85e023f10180903e408081fb787f0293ef1c57481f7e890122a5914

Size: 2,775,128 bytes

Other checksums

why3-dbgsym_1.1.1-1_i386.deb
SHA1: 64c094fd49be4e5cf308e73c6037c08c0f4c59a0
Size: 5,062,228 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-1_i386.deb
SHA1: a552a8737fdb28f501867f7e189d90523ea3915d
Size: 490,852 bytes

Submissions

Submitted
Sun, 23 Dec 2018 12:00:00 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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