why3_1.2.1-6_all.buildinfo (view)

Source
why3
Version
1.2.1-6
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 10 Mar 2020 17:39:20 +0000
Build-Path
/build/2/why3-1.2.1/2nd

First submitted
Tue, 10 Mar 2020 18:41:17 +0000
SHA1 of .buildinfo
3c9f9e1389005bca447653212680deb1021f8fd0

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-6_amd64.deb)
SHA1: 26c2e5fcddd21be98111ecaee84c28ec75456490
SHA256: 3f05d0eded8f7f6910139056bf621332b78bae80e2cf08eb36b333a50b4bbe54

Size: 7,974,572 bytes
why3 (why3_1.2.1-6_amd64.deb)
SHA1: 35fb6e90352f28cf13d0776d2ad654010f06bab6
SHA256: 5160f486bd7001580d02fc88b850d6653741ca910161fbf963f2455af748fea4

Size: 30,775,200 bytes
why3-coq (why3-coq_1.2.1-6_amd64.deb)
SHA1: e70a326ceda19886cd726ea9691089e3f190fcc9
SHA256: 5b38482f5aa25ccfde5d531dc46e58b6de098ea1ff6c301a6e6297799853a88a

Size: 596,672 bytes
why3-doc-html (why3-doc-html_1.2.1-6_all.deb)
SHA1: a00e6f6e44531431f1ccfb2abc2b58e100b90157
SHA256: b0d3ab826eeef40ade51d10216927b7918438ad107832144c70eab57e09489cd

Size: 362,932 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-6_all.deb)
SHA1: ed2544a276efbacd664183bf0a4bb0851c446ab5
SHA256: 88aa8770e0bbcb4d300e860b39e8cf90b0313902d24e2e0287437a7fe0653477

Size: 1,275,192 bytes
why3-examples (why3-examples_1.2.1-6_all.deb)
SHA1: a5ac0f7de547a023f12bee4a1fc5076198512f94
SHA256: 03a60c0682031570f7882e30443720516f652b61de8a55800c95ee80506c26a3

Size: 2,474,304 bytes

Other checksums

why3-dbgsym_1.2.1-6_amd64.deb
SHA1: b1aedaabc91abc194bdcec89d29a3e9e7a68651a
Size: 6,637,956 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-6_amd64.deb
SHA1: 33f9fe02a7fb9f3c5727dc565208d257c5f7e602
Size: 544,144 bytes

Submissions

j3z3syhd
Submitted
Tue, 10 Mar 2020 18:41:18 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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="1583696219"