coq_8.9.1-1_s390x.buildinfo (view)

Source
coq
Version
8.9.1-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Tue, 20 Aug 2019 04:18:32 +0000
Build-Path
/build/coq-982uVC/coq-8.9.1

First submitted
Tue, 20 Aug 2019 14:14:28 +0000
SHA1 of .buildinfo
852e21dde9172392c399733f025fc854c5ba4cf9

Binaries

coq (coq_8.9.1-1_s390x.deb)
SHA1: fcf72cff4d4662dd46214ebf223ccbc0784dc1da
SHA256: 32319e74039296889564e5d315551ce3e54c6b433227fd250c9e19385f88404d

Size: 59,302,616 bytes
coq-theories (coq-theories_8.9.1-1_s390x.deb)
SHA1: e99c389dd0131fa8442818f2aae9499348a40d35
SHA256: 5ee54656af12231253ae8602121c611ade2ca2909080ca2676a0f9302cb04587

Size: 20,370,064 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_s390x.deb)
SHA1: 341555f2ef0ae297ee1b77a87b5d0f7fd45a7a16
SHA256: f5e35c72d1730c705c2458f71a98e16270bcdc819390ab51ad904b14220e99d0

Size: 5,612,532 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_s390x.deb)
SHA1: e534009dff9383a60daad3189d766a19c5b0272e
SHA256: 45b84fe97727dc116f849b05491bb362f4427dd36bc30bcf6439bd6f3e3bf434

Size: 13,772,816 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_s390x.deb
SHA1: 4753fec51ab3629a58e5a277c336bb1dc3e5e8cf
Size: 437,444 bytes
coq-dbgsym_8.9.1-1_s390x.deb
SHA1: 7e8f1b0bd5ae7986b7103b19237f99fb4c381eaa
Size: 3,087,432 bytes

Submissions

yywfo9ia
Submitted
Tue, 20 Aug 2019 14:14:28 +0000
Signed by
0x562DFFD360A9BA42

Environment


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