coq (8.9.0-1)_8.9.0-1+b2_s390x.buildinfo (view)

Source
coq (8.9.0-1)
Version
8.9.0-1+b2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Mon, 5 Aug 2019 18:46:43 +0000
Build-Path
/build/coq-xAvPkp/coq-8.9.0

First submitted
Tue, 6 Aug 2019 00:27:28 +0000
SHA1 of .buildinfo
20899390528b2e71b988565c78fc6bc70188c5ea

Binaries

coq (coq_8.9.0-1+b2_s390x.deb)
SHA1: 33b987421e72fb34fe2dc043c00834462c42de05
SHA256: 28db16a3344dfaea23f48518c28486f24db8d10f6db113f36c4c8896653aec22

Size: 59,237,548 bytes
coq-theories (coq-theories_8.9.0-1+b2_s390x.deb)
SHA1: b3dca751b1a584f42cd6b93a1f4b0608e9cd1063
SHA256: 1b4981ea8ce3fd2f88656a8ab384d0d36c1ff11a1b0414129eabc98d3366b9d0

Size: 20,371,112 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1+b2_s390x.deb)
SHA1: 14cb2c55772e965def7dcdd233d5a70ba761c51e
SHA256: 14c8d50f377fb5256d96a4f84911c67c77243a218938112a40f77d07512033c6

Size: 5,617,532 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1+b2_s390x.deb)
SHA1: 5a62ef70d5f3f36035cba091e39f4679bd80a9e3
SHA256: 227ae6c8c4c14afc95335982640df6eb8ec8e7045b22b88693c5246804f99375

Size: 13,797,872 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1+b2_s390x.deb
SHA1: 012f2e6a45f560d3e438449d30581afd48ae8109
Size: 436,612 bytes
coq-dbgsym_8.9.0-1+b2_s390x.deb
SHA1: 8006c4c0206491a580a7e6b3be6ae7d199ef6efa
Size: 3,137,456 bytes

Submissions

7qq3dpax
Submitted
Tue, 6 Aug 2019 00:27:29 +0000
Signed by
0x7057D4D074EA5A5F

Environment


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