why3 (1.3.3-1)_1.3.3-1+b3_i386.buildinfo (view)

Source
why3 (1.3.3-1)
Version
1.3.3-1+b3
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 6 Dec 2020 16:09:39 +0000
Build-Path
/build/why3-Qs0Tbi/why3-1.3.3

First submitted
Sun, 6 Dec 2020 18:20:09 +0000
SHA1 of .buildinfo
3e3a133d76fe4217c22ba6377f4388b2fcef946d

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b3_i386.deb)
SHA1: 849e46e6626e46e3c02a7bd6426fca3840f2f6e1
SHA256: 44a02dda984913bf85304a104a3b823cfda70f572ee9daca02f0263e5cdd23ae

Size: 9,299,172 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1+b3_i386.deb)
SHA1: 3e51a076a7b19a723f704d59b5d6a5a024e5d996
SHA256: 57e8f515cfbc647c8fb508921c52ffc8018692ca3a5c9134d28bf61ab4c9265b

Size: 568,624 bytes
why3 (why3_1.3.3-1+b3_i386.deb)
SHA1: 7851b59f77382a04654ec2a09905522a35aa0d2b
SHA256: 0ddca91ea9d9e54db87763c15d462498605506c666588105fa395656e9131477

Size: 36,223,024 bytes
why3-coq (why3-coq_1.3.3-1+b3_i386.deb)
SHA1: b71e2cdf96d4c75447b591b79a7e1c2d3f29ab20
SHA256: b92a9f2b4244ba7eb171b8cd56e7f7731f65198cc5f3bd8134dee5a2fecd4dcc

Size: 756,836 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b3_i386.deb)
SHA1: e33b5337cf9b7aa6ef11273a5509355fcd24170e
SHA256: a394d108ff197795e85ffd4bbaf0688a20c2c8d79ebc3a5f16465a3e5c03dfcc

Size: 9,345,388 bytes

Other checksums

Submissions

usyutxam
Submitted
Sun, 6 Dec 2020 18:20:09 +0000
Signed by
0xDC30804AC2864A83

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1607270537"