why3_1.1.1-4_all.buildinfo (view)

Source
why3
Version
1.1.1-4
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 7 Feb 2019 18:52:16 +0000
Build-Path
/build/why3-1.1.1/2nd

First submitted
Thu, 7 Feb 2019 19:17:38 +0000
SHA1 of .buildinfo
e52812c3838d76f5133ca14db8a44ae3c93ade13

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-4_amd64.deb)
SHA1: 378f7366bb8ee63d57c1d9270bbdaeb9e8397999
SHA256: e25041cdc867b599840ee7e95cb09f431f695970fba691b156104439c08e645b

Size: 3,820,604 bytes
why3 (why3_1.1.1-4_amd64.deb)
SHA1: 0cbe52552e338df6ff82ef5657f485a5e0d63c08
SHA256: 8f225c851c9d52db2a27aef66d2b225439649035a6855384220f333e6b3118f3

Size: 24,951,788 bytes
why3-coq (why3-coq_1.1.1-4_amd64.deb)
SHA1: 6ed43d8f778aa75104179b52af6a15240851dd6d
SHA256: 6acf1dbeb488bdee2cc9bffae500cc83dac39d052cec1203b20e0513d0168b7a

Size: 595,180 bytes
why3-doc-html (why3-doc-html_1.1.1-4_all.deb)
SHA1: cb45852beb3050f408f993538ea3c1b8892fd4af
SHA256: 42d28fe9d749f0235f4aa375b50f6973d60a1b194f81b47d449211e08d4dd295

Size: 355,704 bytes
why3-doc-pdf (why3-doc-pdf_1.1.1-4_all.deb)
SHA1: d2feaabdd333511e05d9c441f2752f5c2e9772b7
SHA256: cb73f0b347d30244f5c1b08ea939eb5ffdab45482847bfcef16733aa12f3380d

Size: 1,149,692 bytes
why3-examples (why3-examples_1.1.1-4_all.deb)
SHA1: b08b9ba6045d9394001f880c7ffadf8e737a1008
SHA256: a8c4acc1aa06e1b6ab41e7bf19e42764a6c96f2ba6f45e47db8acca9abf5493b

Size: 2,452,008 bytes

Other checksums

why3-dbgsym_1.1.1-4_amd64.deb
SHA1: 1373b962c38e4fb3489056ee94837da2b2ad4b73
Size: 5,298,224 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-4_amd64.deb
SHA1: bc7f8c2c57b538a491814cd748b7004cb2ea2664
Size: 502,612 bytes

Submissions

rcmgdyyr
Submitted
Thu, 7 Feb 2019 19:17:38 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1549483074"