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

Source
why3 (1.3.3-1)
Version
1.3.3-1+b4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 23 Jan 2021 17:36:12 +0000
Build-Path
/build/why3-GGVL5z/why3-1.3.3

First submitted
Sat, 23 Jan 2021 18:17:32 +0000
SHA1 of .buildinfo
00f2e4ab95ca4862bd0fc9ffe88d44280bc5b259

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b4_amd64.deb)
SHA1: 4a8a67deb9f2b234dc7f9046ee027f2e3c113a88
SHA256: cff8c799835136e9f208a58e4f72198dc9b5822587395ea447b14a969ee008bd

Size: 9,624,832 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1+b4_amd64.deb)
SHA1: d8273808e205d81b7875efcf649d8ee3dcfe9869
SHA256: e90114e73c8a1cf29c0653a93c9b0ba724a0247792a11a81b8f602bf14e2077c

Size: 586,020 bytes
why3 (why3_1.3.3-1+b4_amd64.deb)
SHA1: 7a0bb26a6c71bc6a50aff15be6a0ca32f092eef8
SHA256: 6c1d4e2d609415bec3f229624bd6b49b56f1bf543eb8c8df85333c9e8f990596

Size: 39,497,748 bytes
why3-coq (why3-coq_1.3.3-1+b4_amd64.deb)
SHA1: d2505667a3bc34f88c2e2432048f4c45a153eaee
SHA256: 53dc0f9cbd4143453e603c82a2363a268bde00ca0de40f13ab6709ca1ed5c1ec

Size: 757,188 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b4_amd64.deb)
SHA1: 2f192958b69603005a3eba623d03683709515123
SHA256: 625cedea9147b856dc174668990a93572c011e84c52219bf2c0cf068c36f08f3

Size: 9,757,752 bytes

Other checksums

Submissions

krqf4tkf
Submitted
Sat, 23 Jan 2021 18:17:33 +0000
Signed by
0x787961435CA5266F

Environment


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