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

Source
why3 (1.3.3-1)
Version
1.3.3-1+b2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 29 Nov 2020 09:23:09 +0000
Build-Path
/build/why3-XyW1ka/why3-1.3.3

First submitted
Fri, 4 Dec 2020 04:13:07 +0000
SHA1 of .buildinfo
9266a58d4e221693be9f02725b7425e8268f1120

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b2_armhf.deb)
SHA1: 4db5dab55a890094178fe93d02f21ae46d7eb7e3
SHA256: 818df55eb6964fc957ba017bb02c83edc9992a688c87b934524d4b1f411c1192

Size: 9,601,428 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1+b2_armhf.deb)
SHA1: 2330ad7ca9a676c40a28aef65e87f92bc4f67f33
SHA256: e1ed8bdeb9e4cee57a0540d5de2ab1e83ce5733ea93706f8eda0ab2ac59fe360

Size: 493,052 bytes
why3 (why3_1.3.3-1+b2_armhf.deb)
SHA1: 193f0a51d28c8fe60cfcbcb47dc370972979e51d
SHA256: 86294ba50b822f20df420fda96561784ac50652dab5e137dc73059cc78ae9b33

Size: 36,695,000 bytes
why3-coq (why3-coq_1.3.3-1+b2_armhf.deb)
SHA1: cd11d9088394a83146f6c2f2186b038427e1197b
SHA256: 94266e021594678d2420ba8e7e321ecc9f3c9f8cbb1e4f6591e774e4be59e646

Size: 756,684 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b2_armhf.deb)
SHA1: 7d994f85ca0bc7dce1a053d167a1b81555bf1bb5
SHA256: 0b31fbff0c21bc6023e29c1e270a34b82ac94ee1a5210d367d47382df9a97f75

Size: 7,143,040 bytes

Other checksums

Submissions

74nnorcy
Submitted
Fri, 4 Dec 2020 04:13:07 +0000
Signed by
0x8BD0495DE0383C4A

Environment


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