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

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sat, 23 Jan 2021 17:35:16 +0000
Build-Path
/build/why3-vVamuk/why3-1.3.3

First submitted
Sat, 23 Jan 2021 18:18:08 +0000
SHA1 of .buildinfo
231c6faf72039f16cba709e1db58e70336711ae7

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b4_s390x.deb)
SHA1: 95ba65601a91cc2ef346c2fcf8b1c133fe575696
SHA256: 7215a43e68dfd2cfe49ac4779b71c8af311e0f4f839435a6936f0166c0ed61cb

Size: 9,567,924 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1+b4_s390x.deb)
SHA1: 9d15a850a69f4bc8f7e07da90a82db46ca55e339
SHA256: 5df4b33b09579c902c2ee9f47a01e1f605373e7c4beeed9b7822a90d2579b587

Size: 450,296 bytes
why3 (why3_1.3.3-1+b4_s390x.deb)
SHA1: d22cdfedaa67202f76b1c3f7af97d98ba2e44888
SHA256: 78e89fc767352a02364ff109ef0b46da323de44bdcc8214ba654467b4fbc71b8

Size: 38,957,852 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b4_s390x.deb)
SHA1: 2f7cdbade17deabbf029b6ad2c078c6b0883322c
SHA256: 33d2e746b4649db1a5ab598cbef6b2d9589ad051617239b4c4222851dce0045a

Size: 6,647,376 bytes

Other checksums

Submissions

Submitted
Sat, 23 Jan 2021 18:18:08 +0000
Signed by
0xB7B65B17F4F240AE

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1611423111"