Source
why3 (1.3.1-3)
Version
1.3.1-3+b2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sun, 23 Aug 2020 05:56:12 +0000
Build-Path
/build/why3-mVzOg3/why3-1.3.1

First submitted
Sun, 23 Aug 2020 06:13:12 +0000
SHA1 of .buildinfo
860f1a7541ff8e2234572ba0d4be226a0e2fe406

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3+b2_s390x.deb)
SHA1: 6d7d130aa065e1418dd331e39e77a6e0c22edecd
SHA256: ca8414f0e92c0a5baf4540e9ab1b4ccb4c2cdcd4fb7cc493be94596eee6016cc

Size: 8,752,688 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.1-3+b2_s390x.deb)
SHA1: 759cf126086c39cf38fa30e5785dfaddaa04019c
SHA256: bcc1319c0e6a688bdb38cb2af96d3c2ed11bac789bfc4d13b7702ad457ff24c0

Size: 461,724 bytes
why3 (why3_1.3.1-3+b2_s390x.deb)
SHA1: cb53eb4e805848e23bc01698d5a80acba3ac17f1
SHA256: c8209dfe0d1224f58095877097f77b2102c59c95dac9276e9687f0404547dd5e

Size: 35,464,352 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3+b2_s390x.deb)
SHA1: 496d55118778a1a1857fab6dacedc15206fd9664
SHA256: 62ce64d4c5e76a80aa3cc3569bf0b1c8ef1b09b8b18ef0345db564ebaf1a864f

Size: 5,915,472 bytes

Other checksums

Submissions

Submitted
Sun, 23 Aug 2020 06:13:12 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


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