coq_8.9.1-3_s390x.buildinfo (view)

Source
coq
Version
8.9.1-3
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 24 Jan 2020 22:57:58 +0000
Build-Path
/build/coq-KXOgqJ/coq-8.9.1

First submitted
Sat, 25 Jan 2020 02:06:00 +0000
SHA1 of .buildinfo
203e9c0dce4be32fe3b6a404181eb00e8c24264f

Binaries

coq (coq_8.9.1-3_s390x.deb)
SHA1: 3a2330db093cd59f20287d9b300e2649496a8346
SHA256: 6d4bb96edec1d6315e5d6ee7d27cc101c0ac2258df4f9737d9c14c4930064349

Size: 70,720,992 bytes
coqide (coqide_8.9.1-3_s390x.deb)
SHA1: fd951a6e02ee8ed6f4c52b08ac853b65178f12ca
SHA256: 45296085d7aefc4e98d01896ea6300fdad563625af4edf966fbe63d567dbba74

Size: 1,878,716 bytes
coq-theories (coq-theories_8.9.1-3_s390x.deb)
SHA1: bec721cb504b8d4219dac6ae0ddadb72e6d933db
SHA256: 9a0d996c44801e3ef1eae27257e2495c3503a8dc160e19e921db4bd30eda2f25

Size: 20,354,692 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-3_s390x.deb)
SHA1: 410aa4fb7ddaa3d0031fc5979a07e03d48ccda5a
SHA256: b7cd72413374e3ac02488c2667d3615e846795057bb3379f9abeb618713466f2

Size: 5,800,660 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-3_s390x.deb)
SHA1: 5c3fdf251ecb5ed62b1dfec8bbbd5d59f445323a
SHA256: 57ff40dcace119b748c8ac31ea4a81a8ce701fb3ded3ab24f80f6dd2fd32d7f7

Size: 15,156,496 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-3_s390x.deb
SHA1: 9b2f1d0acf96c39742fd606b82f5f57b2842c2b7
Size: 460,320 bytes
coqide-dbgsym_8.9.1-3_s390x.deb
SHA1: ecdcf6c3d4205ee5bc3b514fc7ed9d82447f9e23
Size: 433,000 bytes
coq-dbgsym_8.9.1-3_s390x.deb
SHA1: d49a44b5536c0b143085417965ac00735193c5ba
Size: 4,174,616 bytes

Submissions

quxszwgp
Submitted
Sat, 25 Jan 2020 02:06:01 +0000
Signed by
0xB5B68F9C8464675F

Environment


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