coq_8.9.0-1_s390x.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Wed, 6 Feb 2019 19:48:48 +0000
Build-Path
/build/coq-2cMcut/coq-8.9.0

First submitted
Thu, 7 Feb 2019 00:11:32 +0000
SHA1 of .buildinfo
8e5206322ea30cc3e345791ab189f1376872c659

Binaries

coq (coq_8.9.0-1_s390x.deb)
SHA1: 9bd9e6537fd7863feaea5c425fce0bcbfef24f97
SHA256: 81438d4995d0d23cd8d706e2563fd6abbcc25428487f9ca7e00cdd977d7e707e

Size: 59,188,972 bytes
coq-theories (coq-theories_8.9.0-1_s390x.deb)
SHA1: 68e8f6f783952818fe5ec4ed73b3f19e4880503a
SHA256: 6570f4e7b83cdc6e99ae7c1fd4c8898c9e571f64d59884efff095f21407be418

Size: 20,367,660 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_s390x.deb)
SHA1: e920b6db41f9db541ed2ed2aec225b8c29e05fe8
SHA256: 0b1f8e08c32a4c2b6376b2b2d1c67a75ab21406ad0725f8fba5b69852c9f4585

Size: 5,549,064 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_s390x.deb)
SHA1: e6624ba42e5e6aa39669c3de85cccb618c721c36
SHA256: d986300c499e203494bfce56d5bf859571a7491219e5d28293988da27a8cf59c

Size: 13,779,508 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_s390x.deb
SHA1: 01fd5b842c670ed028ca2de7b92f73e3ea378f8a
Size: 435,384 bytes
coq-dbgsym_8.9.0-1_s390x.deb
SHA1: bf2762ced24e103f6a16a09c7555cb0b6ff40a73
Size: 2,928,984 bytes

Submissions

shypxck7
Submitted
Thu, 7 Feb 2019 00:11:32 +0000
Signed by
0x7057D4D074EA5A5F

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1549474869"