coq (8.9.1-5)_8.9.1-5+b1_s390x.buildinfo (view)

Source
coq (8.9.1-5)
Version
8.9.1-5+b1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Tue, 11 Feb 2020 16:50:30 +0000
Build-Path
/build/coq-wAI1ro/coq-8.9.1

First submitted
Tue, 11 Feb 2020 19:18:24 +0000
SHA1 of .buildinfo
9ed3bb02f44e2aa72f64b71370a77bb0be9b8d54

Binaries

coq (coq_8.9.1-5+b1_s390x.deb)
SHA1: a6e6571e5643966115579b1fa6ef0044f8a0e76e
SHA256: 7ed193274faf8946445a30cb367eadaa99fadacb826534abdb19397bf5a874de

Size: 70,711,148 bytes
coqide (coqide_8.9.1-5+b1_s390x.deb)
SHA1: 0189489f620aa8534a230a12e4f5e9165652c5cf
SHA256: c571f0a25a5e32aa7a6ec8adab096c6e5560fd5ade01124f8b95ce2075529171

Size: 1,875,848 bytes
coq-theories (coq-theories_8.9.1-5+b1_s390x.deb)
SHA1: e8494e76c8be56a6c71ee64e1134d5711a2b5426
SHA256: 02c5fb3572d3e717e33f30112b6cf8ae70e0cd0ed3910de1b2f8abead1dccd23

Size: 20,354,988 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5+b1_s390x.deb)
SHA1: 0566d37ff4fa8f4ffe02fae59323c9c120219039
SHA256: 83b4f88dd7410e4ea075766a23bee74e7a4c78df6610d6ad6c8fef84c7c35a74

Size: 5,800,628 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5+b1_s390x.deb)
SHA1: f2b27a5b78e4c2fdc68f0165d6dc863b19144b2d
SHA256: 0c5553a8117649eb0282d3024d4c8fae556853f326a2e623830f0e134b6a8606

Size: 15,156,060 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5+b1_s390x.deb
SHA1: 837c7cb6a8d94efe3875d4ea2ee072d2965cc650
Size: 459,880 bytes
coqide-dbgsym_8.9.1-5+b1_s390x.deb
SHA1: a73d150de3407eb76548edbd8960ddab328a2866
Size: 432,852 bytes
coq-dbgsym_8.9.1-5+b1_s390x.deb
SHA1: a9b1d2b9d71d62389c1355e81d68c8cc1d8c4301
Size: 4,303,272 bytes

Submissions

qphpywxa
Submitted
Tue, 11 Feb 2020 19:18:24 +0000
Signed by
0xB5B68F9C8464675F

Environment


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