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, 12 Mar 2020 00:53:33 +0000
Build-Path
/build/1st/why3-1.1.1

First submitted
Thu, 7 Feb 2019 19:17:37 +0000
SHA1 of .buildinfo
93c0d396dbddeec19a12ae435a7cb52783fa7aa5

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-4_amd64.deb)
SHA1: 88849846e3414158df30be92c3b8054fbb10a226
SHA256: b2335993dc5ef5d81fb66f0d53eddd21d6b8c239c1724c949124cdef662844d9

Size: 3,833,532 bytes
why3 (why3_1.1.1-4_amd64.deb)
SHA1: c79118f084d31bdb6383d65735e4e9fe92e622b6
SHA256: 99f1e94f59831b81cda6d0e11c1301260fedee2f5952dc1d5017b8a8b3fff71a

Size: 24,956,104 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: 139c3803d0e580b97e5dcca176ef78f5f7dcb3cb
Size: 5,323,296 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-4_amd64.deb
SHA1: caf5178e7c9000606ed80ecb56f065b571e7f3e9
Size: 503,016 bytes

Submissions

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

Environment


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