why3_1.1.1-4_all.buildinfo (view)

Source
why3
Version
1.1.1-4
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 8 Feb 2019 03:13:06 +0000
Build-Path
/build/1st/why3-1.1.1

First submitted
Fri, 8 Feb 2019 05:50:28 +0000
SHA1 of .buildinfo
e535c041c3f67ebeb54b06525b878e6af78b369c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-4_armhf.deb)
SHA1: b929a4d2a793e263566c6eb1f6753e6a14013376
SHA256: 251589ec1504f497066c4dd7f367fa1678abb9fb8ac44bfb184b0a4801840623

Size: 3,905,892 bytes
why3 (why3_1.1.1-4_armhf.deb)
SHA1: ae8e2805a1f2df187c6af84d3a1d6d7024126492
SHA256: 46a4011389b82e7f4af3a156996a909f6d4fbd042a23f29ffbef26486c10f6f5

Size: 13,231,652 bytes
why3-coq (why3-coq_1.1.1-4_armhf.deb)
SHA1: 7a00c0d4738eb39e9961f5f6809b2785a3805229
SHA256: 4a9fe80e72618b894b3569d5433db5106570c8446675aa78af61313474753f21

Size: 598,560 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_armhf.deb
SHA1: 37efadeb7391619368e0997a20e190e56ca95052
Size: 4,547,672 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-4_armhf.deb
SHA1: 0f3e432b4e5286601ff27bf7c5ab81bcf7725c7d
Size: 444,440 bytes

Submissions

m4vqfd7j
Submitted
Fri, 8 Feb 2019 05:50:29 +0000
Signed by
0x3790BB94D873CF00 p64c (Automatically generated key for signing .buildinfo files)

Environment


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