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
Wed, 23 Sep 2020 21:16:42 +0000
Build-Path
/build/coq-8.9.0

First submitted
Thu, 22 Aug 2019 16:55:05 +0000
SHA1 of .buildinfo
0adce429919db11f76a70f96970f9ec79b9363af

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: a739d7e16fff068a9713a13525c948ceb0dbbf43
SHA256: e39bc3c5adad33e3754b8a902864a8bd30347b1ef06872887f0391babbc49372

Size: 59,045,620 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: e6226088d695da6d1a239a1fe40e34265bb14cfe
SHA256: c53b3ba451862b55f50bd95b97f853137228583246bbd969a7ebedcb600d9c06

Size: 29,741,616 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: 3ac936f2b01d9dfb0b998208fa4086cfbe620542
SHA256: d2c8d1e016121c1e178a4313b9d08a9bcc71a7f3f8d837be0e60d826e7e3f604

Size: 5,522,860 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: 9247427cf802020c81de3624ac60d37404a034bd
SHA256: a3acaa4e6ce8344f01742627bc219f4e59cc139d44b55d8c72a629ee1167427a

Size: 13,734,312 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: 7cd8c2f0036f3fe7f3cf779a5c3001185e9b6987
Size: 536,628 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: 8e3a2ac2e4a5a7ca84c573c0ff5f446f401ad9fb
Size: 774,188 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: f276a9aa37d9b7e0931a0ae7d3dcaa6857c87344
Size: 3,985,424 bytes

Submissions

ss7qthig
Submitted
Thu, 22 Aug 2019 16:55:05 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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