coq_8.9.0-1_amd64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 4 Jun 2019 05:40:41 +0000
Build-Path
/build/coq-8.9.0

First submitted
Tue, 4 Jun 2019 07:13:21 +0000
SHA1 of .buildinfo
1ebfb53f2ead65ee26cdfbee2a32b86c61d2229e

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: 68911f894787b220f93ca85b55856b567a6d08e4
SHA256: 3e748a5ed8c28d89592e0ae77b20cc8d300c2ab5391bfb12be0219c43d404d1c

Size: 58,985,456 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: 0bba15d2d3afb754545f389b7dba95d244ad8d52
SHA256: 9ba1633d70d053138f3fdaf9c34b1103b3b597c9656d9cad9361e22812f8c977

Size: 29,721,528 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: af38554e38c8bbfdc8454ec80bddec1092ec9f69
SHA256: 389fef63c2f2851457ed6f8fd6bf8629c0e53bd1092d2951257a5bca30a3cc9f

Size: 5,464,064 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: e3ce77ecc406f53cbd7dd38d874b89cb2b2e4874
SHA256: 296865f1c7b9d73040dc1ecba021d00fa921f4868d0fe4456d381a8cd56ceec0

Size: 13,709,928 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: 8920ed166a02d4762d56a059d2c93fe368147bce
Size: 535,356 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: 604548fab003eb15eaf9e2527b2f06bab3641d61
Size: 773,132 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: 5d10abd93cf5403234b87cc1380ce633f54593f4
Size: 3,958,948 bytes

Submissions

z9nzaspd
Submitted
Tue, 4 Jun 2019 07:13:21 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1549474869"