why3_1.3.2-1_s390x.buildinfo (view)

Source
why3
Version
1.3.2-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 11 Sep 2020 04:25:51 +0000
Build-Path
/build/why3-F0O7ab/why3-1.3.2

First submitted
Fri, 11 Sep 2020 06:11:32 +0000
SHA1 of .buildinfo
d06f2604864d9e29ee1a6bb8dabb892019d2d810

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.2-1_s390x.deb)
SHA1: 2d07725567c8a6162f267256a4940e44941d9320
SHA256: 11e19c7cd47ae171f4a7f1c19cee9797e053ae786cef444cdea8b01e8813d9dc

Size: 8,774,824 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.2-1_s390x.deb)
SHA1: fd3466d96cd1b86b1d58b5aefbc2e95830e7bdf8
SHA256: d385bd2a8c1e069e10d48b5f1cc398ab566af38bc0e0954f51c47693ec3977d0

Size: 461,800 bytes
why3 (why3_1.3.2-1_s390x.deb)
SHA1: 358c09b9fb7fd4b4dad68ee45dc6cef4e2e016fc
SHA256: 6e1d89c61c829589433a82600039dd5980587f0a37e9bc47c320b734c56dd53d

Size: 35,436,284 bytes
why3-dbgsym (why3-dbgsym_1.3.2-1_s390x.deb)
SHA1: 1d30db740e32855bc95fa512cc477e53b88a4590
SHA256: 5847934d2cc1b1cda944428a64e04b0e7ca2d347bd850f27f39851587d38a9d9

Size: 6,072,356 bytes

Other checksums

Submissions

gfo4mdw9
Submitted
Fri, 11 Sep 2020 06:11:32 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


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