why3_1.1.1-2_all.buildinfo (view)

Source
why3
Version
1.1.1-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 11 Jan 2019 05:09:38 +0000
Build-Path
/build/why3-1.1.1/2nd

First submitted
Fri, 11 Jan 2019 05:38:38 +0000
SHA1 of .buildinfo
2f6bd06819fe62be037e837bf03f6c619e855d85

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-2_amd64.deb)
SHA1: 01727728ede866f4fc84bd8ee92db7e316f40054
SHA256: 16c28621abc7d32790ba37805cdd635facf6902a5132d07a7886ff8f7d4ff68d

Size: 3,829,436 bytes
why3 (why3_1.1.1-2_amd64.deb)
SHA1: 4b09b27f9c168fe0c1862074ca0e407c14122020
SHA256: a79c69bd713e069f078d65533bc9412519b571535fda74504b83aa4559623a74

Size: 24,963,316 bytes
why3-coq (why3-coq_1.1.1-2_amd64.deb)
SHA1: 98bcd91267243210592a7952b33f94c3c4ffc905
SHA256: 4bc1448d7c1acd05238a15d4d2fe99557692b3f98cb82c85c923d62e91a321a7

Size: 598,588 bytes
why3-doc-html (why3-doc-html_1.1.1-2_all.deb)
SHA1: e23b2310c836cc9af98e0f93ba6de1ff94cc3e06
SHA256: 070e65a9d87896043962adf7dd60932088daf453255a2088fecf74917fc44a2d

Size: 355,672 bytes
why3-doc-pdf (why3-doc-pdf_1.1.1-2_all.deb)
SHA1: bb2d78a80029b721a7252519a8a8e6da6eb08caf
SHA256: 74730f775fbacd949298b746258127b16102e18ec0d0dd024ad41f8d78b00894

Size: 1,149,600 bytes
why3-examples (why3-examples_1.1.1-2_all.deb)
SHA1: fcbb9a4edbdb60d2d82af0880968ab2b5f74def2
SHA256: b6ea7e5b66676328a5b3dcdbf27acedb50e6a2c9c725537c6a8a559ced562a94

Size: 2,452,112 bytes

Other checksums

why3-dbgsym_1.1.1-2_amd64.deb
SHA1: 28ef89c6cd444365ef971f34b57f340f8f9aeed1
Size: 5,300,956 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-2_amd64.deb
SHA1: ff5f9c7008dc165f6f4cacf93a09d6c8b4ccb6fb
Size: 504,364 bytes

Submissions

tom4pf7u
Submitted
Fri, 11 Jan 2019 05:38:38 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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="1547147544"