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 04:04:56 +0000
Build-Path
/build/why3-1.1.1/2nd

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

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-4_armhf.deb)
SHA1: 0ad9428cff751f793dd70ee7e8d3bb5054095d44
SHA256: b41aa3d3f80ee63f521b51d78a12eb4fc2e1396247ef1e26c1ccef832fdac4eb

Size: 3,922,772 bytes
why3 (why3_1.1.1-4_armhf.deb)
SHA1: 36bf6434ef7e9542034e0fbd27a4f8778781eb18
SHA256: 1bfd28ff343c137ad3d1c5422ed0d8f8569106024d46f7fd51b105bd91f740ce

Size: 13,253,180 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: 663d39b3316dd79d86cc2435aa97f4a2902695a4
Size: 4,542,812 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-4_armhf.deb
SHA1: 7f11d32df5ca8dbd959cc52a665c462b0696861c
Size: 444,324 bytes

Submissions

hyw3xgns
Submitted
Fri, 8 Feb 2019 05:50:30 +0000
Signed by
0x7BF7A541C51D4B87 cbxi4pro0 (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"