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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 6 Dec 2020 16:17:21 +0000
Build-Path
/build/why3-fOSYdV/why3-1.3.3

First submitted
Sun, 6 Dec 2020 18:21:27 +0000
SHA1 of .buildinfo
135144f2e3517111ca1f5713d69926a39a7ca890

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b3_armhf.deb)
SHA1: 2b6875cbff89f13da33c759d75f3af474f39b3ee
SHA256: 557839a33f81aff51dcc8810e5eec397e7659e0671db5776d13e854f61ee8a65

Size: 9,596,528 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1+b3_armhf.deb)
SHA1: 01d0b32270523bc2477ef77c0731e759e1ba2cfe
SHA256: b969ffcbd1e91f70f9c283a388d7cfa55b5c53d3ddb0c3c7d0014cdab099247f

Size: 494,284 bytes
why3 (why3_1.3.3-1+b3_armhf.deb)
SHA1: e58f435fdb57f10979f56dc2235f1f4766292817
SHA256: 9d22472b4e4e9fe288bca7a1645cd8cd1bf72658dfd2e1a4e411a2b652016e05

Size: 36,716,860 bytes
why3-coq (why3-coq_1.3.3-1+b3_armhf.deb)
SHA1: 77ba8d7437f2e0995e5bd777f9564257655d219c
SHA256: 5f5016ef525ae079b8d2a9a50535f04238404ee224fa37e5134a3c7e0d8bae3a

Size: 756,672 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b3_armhf.deb)
SHA1: 9a12609f5d4c795903a806986de2fca662b6f5d2
SHA256: e9395dbd8c335147963bf1f5b7b425414cadb339d14e1fa0659364ea9886fb80

Size: 7,234,116 bytes

Other checksums

Submissions

byx4mpaz
Submitted
Sun, 6 Dec 2020 18:21:28 +0000
Signed by
0xD17312624A4D5F6A

Environment


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