why3 (1.2.0-1)_1.2.0-1+b2_s390x.buildinfo (view)

Source
why3 (1.2.0-1)
Version
1.2.0-1+b2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Mon, 29 Jul 2019 12:19:52 +0000
Build-Path
/build/why3-ZsDMQ1/why3-1.2.0

First submitted
Mon, 29 Jul 2019 18:20:45 +0000
SHA1 of .buildinfo
2f5ebe718fce43ed4b7113ee81809c381b56e369

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1+b2_s390x.deb)
SHA1: 6be5d36cd518fb65b2c38d2e1f784d9fb68ab014
SHA256: 281ba6225a04c8be6b12cbf884ef9adc9228bc95b3d7d8051dd4b111c174a608

Size: 7,871,636 bytes
why3 (why3_1.2.0-1+b2_s390x.deb)
SHA1: 91b5f4e4d53baf354c926d70f660fa584fca8c3f
SHA256: ad416c94a54a71644a817f6447c525ed6ab34f5d4c2802b98059d6f1f7d2d842

Size: 30,725,704 bytes
why3-coq (why3-coq_1.2.0-1+b2_s390x.deb)
SHA1: 62c604fd90092745b04922926007eea1b1b4e2a7
SHA256: 7a785aff20c59d04445c73d2b51d637f2d1c31bfd4f7604c275dbddb21732718

Size: 596,948 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-1+b2_s390x.deb
SHA1: ffc5cded2e51214f781886357e7f91c1087f75f8
Size: 4,729,056 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-1+b2_s390x.deb
SHA1: d048814e1220bc0f7e3d95d2145bb39446c671c7
Size: 404,104 bytes

Submissions

ghkqkvrz
Submitted
Mon, 29 Jul 2019 18:20:45 +0000
Signed by
0x562DFFD360A9BA42
oaaancjs
Submitted
Tue, 30 Jul 2019 00:21:20 +0000
Signed by
0x562DFFD360A9BA42

Environment


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