why3 (1.2.1-2)_1.2.1-2+b2_s390x.buildinfo (view)

Source
why3 (1.2.1-2)
Version
1.2.1-2+b2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Tue, 3 Dec 2019 14:02:04 +0000
Build-Path
/build/why3-AwPDpR/why3-1.2.1

First submitted
Tue, 3 Dec 2019 18:47:55 +0000
SHA1 of .buildinfo
d0b1d04d8c659c4a43792a072e1a02ca4bd61cc4

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b2_s390x.deb)
SHA1: 5b4629ed7bd8a2ccd04ec71d37977ba3bb3ed9cf
SHA256: 2f7b1a015a866c1d834cde3072f3bfba2614fe137b5714062b89f920c273bc9c

Size: 8,029,684 bytes
why3 (why3_1.2.1-2+b2_s390x.deb)
SHA1: 312e306fda21d9062bd9ed2b69a954978eba5064
SHA256: 5a63442c35ec332b7e28eda98af969f9c63e65d1237d24442a43221a34141c95

Size: 31,843,928 bytes
why3-coq (why3-coq_1.2.1-2+b2_s390x.deb)
SHA1: 586e63a0fd7af4cf4c49b2be0dee02987c0a7b02
SHA256: f24fbcaffed15b8ae283130b7191da152b7941adf871e47c501391a8debee210

Size: 595,920 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2+b2_s390x.deb
SHA1: 70c1ecc0a14ad7359b8898172753e911e773fd95
Size: 5,165,392 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2+b2_s390x.deb
SHA1: 9ddcbdaf7588a1746a37854a03ad77deacfdafbf
Size: 419,856 bytes

Submissions

ar7a3pvr
Submitted
Tue, 3 Dec 2019 18:47:55 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


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