why3_1.3.3-1_s390x.buildinfo (view)

Source
why3
Version
1.3.3-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Wed, 23 Sep 2020 20:50:37 +0000
Build-Path
/build/why3-31eFfp/why3-1.3.3

First submitted
Thu, 24 Sep 2020 00:11:42 +0000
SHA1 of .buildinfo
3ea9b5f267db6d60004ff4bb3e8e60b09ad1f377

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1_s390x.deb)
SHA1: 29701485815c7e5e1a9d8d397a7f3f04ad0013a6
SHA256: eeadb9fe98b2b7653503e808875cc4d83a6ecc47f4d73ee6584362dba1ff2ad2

Size: 8,746,488 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1_s390x.deb)
SHA1: fc6897e92e60ab2f08adec9f598752c19510436e
SHA256: 2c1429d8ada8cedc32b52ce3a83140859390552ca8a6e862faa917a7357a1235

Size: 461,800 bytes
why3 (why3_1.3.3-1_s390x.deb)
SHA1: 1fa3be3b7731f820436bad97c2a8d1c63e04b11a
SHA256: 9ca9618acebc88096f6e014a52a443ca0ed599443df596496c89f008b3e587a1

Size: 35,430,924 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1_s390x.deb)
SHA1: c6a01884ff3636face4a0b328e7d3bc0557a04da
SHA256: 6104d7f2c75fbec44dc3849a168a13ad61ee93b25c438f75d8afbc20ecf17d93

Size: 6,062,296 bytes

Other checksums

Submissions

monyonvn
Submitted
Thu, 24 Sep 2020 00:11:43 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


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