why3_1.2.1-2_all.buildinfo (view)

Source
why3
Version
1.2.1-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 17 Dec 2019 16:55:22 +0000
Build-Path
/build/1st/why3-1.2.1

First submitted
Tue, 17 Dec 2019 19:18:32 +0000
SHA1 of .buildinfo
6730cf3e6c68640e4c9c6d719f213974da983fa0

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2_armhf.deb)
SHA1: 12bdd97cf02db86f6b6f16a7e357f38cf78aa98b
SHA256: 7c86e70c114aee66b94544934ed2658f8f94bddfa4d489e36ce913bf1fedf168

Size: 8,061,216 bytes
why3 (why3_1.2.1-2_armhf.deb)
SHA1: c0633110af48667abde107fbec28eb7553dbe3dd
SHA256: 7afdf78bf8a5422501a248f93255765a42bc47dfb6fd20834a10d60877951967

Size: 20,404,644 bytes
why3-coq (why3-coq_1.2.1-2_armhf.deb)
SHA1: a2c6b2b589de8b3b9bba48b685db39b338299106
SHA256: e1d570361ea6726f199f3c4c326bfad5025f76cda8122f46141faa486222d753

Size: 596,896 bytes
why3-doc-html (why3-doc-html_1.2.1-2_all.deb)
SHA1: 8071db2c480056e36bd6507fcd0b988763f26ccb
SHA256: f3208b4750a4a74f6b859da9b89ac0aa223a355fb75af4ae33830bee860db877

Size: 362,460 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-2_all.deb)
SHA1: 84e510b7a5225edf65ee0a8043ce736578b1adce
SHA256: 8d607f759f82a5056f23ce2e7e54ab5923200eab5845de7a8a61bc5f5fa621c3

Size: 1,274,412 bytes
why3-examples (why3-examples_1.2.1-2_all.deb)
SHA1: 60218af15bed2c897b66fd85125b699cd75fb848
SHA256: b0b48e78fd1827343fa7de58e0973326357317036d3fa9d894b87deac09d2ee5

Size: 2,473,816 bytes

Other checksums

why3-dbgsym_1.2.1-2_armhf.deb
SHA1: 9b1cf764ff9b9dca5c26d4f0918e32c3f053c78b
Size: 5,660,648 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2_armhf.deb
SHA1: 697c8c19d11014f243939eb9d23b4364c844b439
Size: 465,668 bytes

Submissions

eycdrftb
Submitted
Tue, 17 Dec 2019 19:18:32 +0000
Signed by
0x9538881E43D098FB jtx1b (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1572814928"