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
Mon, 12 Apr 2021 23:09:45 +0000
Build-Path
/build/1st/why3-1.2.1

First submitted
Tue, 10 Mar 2020 18:41:16 +0000
SHA1 of .buildinfo
864b6e20d5412a3ee7d156c98a2b4d9d0e3cde02

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-6_amd64.deb)
SHA1: faf8c737e0bc6b1a0848fbc385de7eb72eb026f6
SHA256: d2c3ab155bbbded477c97a02d44cc00fc8606dc2c5728d86f0139d2a7e07492b

Size: 7,966,140 bytes
why3 (why3_1.2.1-6_amd64.deb)
SHA1: 3cb87bd96039aad7421c090715e2265d0f7da614
SHA256: bd34eca34c86b5e1bd75a59265cabca6a79641c58f0fd22c220e7ffc056f52af

Size: 30,770,636 bytes
why3-coq (why3-coq_1.2.1-6_amd64.deb)
SHA1: 96ded34bc8094af867216c5d2146cac0d7e3bce1
SHA256: cb383d7a2cdf4502aa39ad4e91c98d5eca3db0f75fb0335efeb59d17632d5903

Size: 596,148 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: 06baa6189ce04c7eed33951adee5b74088efe708
Size: 6,643,156 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-6_amd64.deb
SHA1: 2927bab6da24ed754d3724fe82533957b7684b39
Size: 544,092 bytes

Submissions

7kjomfww
Submitted
Tue, 10 Mar 2020 18:41:17 +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="1583696219"