coq_8.9.1-5_amd64.buildinfo (view)

Source
coq
Version
8.9.1-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 29 Jan 2020 08:30:52 +0000
Build-Path
/build/coq-oVqbQy/coq-8.9.1

First submitted
Wed, 29 Jan 2020 12:27:10 +0000
SHA1 of .buildinfo
180735c757cfcc5fe8399829a55d62f4fcd21125

Binaries

coq (coq_8.9.1-5_amd64.deb)
SHA1: b61d768a528ef96b2f6c2072352564a270e4b251
SHA256: 6c9ad30420f317d8ac523c78fac1bcfe8bcefa97b652acba42c1d57ec2c50fd8

Size: 70,364,648 bytes
coqide (coqide_8.9.1-5_amd64.deb)
SHA1: 19bd698fccffe91d10223ba1ff173baf1f640af3
SHA256: 9ccbd488f9eafd4e097c1e005839d2f77acb3ff00d6c1d4c7cfb311fda8e2321

Size: 1,859,296 bytes
coq-theories (coq-theories_8.9.1-5_amd64.deb)
SHA1: 0044b21fafb6f4119bb11a11849ff3c1440a651e
SHA256: 06fb1b2e4db7b142c3bf81214b0f17869b11f4430f58d67ae6af2c4eb5c0c274

Size: 30,163,492 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5_amd64.deb)
SHA1: b0361652627e0262a3edc914460eb129aaf6c55a
SHA256: db2b9943a1378297a775511241bc66a66e94181fc63652b4c984878595b02afa

Size: 5,679,268 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5_amd64.deb)
SHA1: b29351159134373096ff0476cc40b1e5bea9deb0
SHA256: 2c8492937ab7f679f810be932806c12f437af1d46f880a9359431b5fbcc12ce7

Size: 15,107,752 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5_amd64.deb
SHA1: 6105d9eba11f09294443c0bda5ee96b0144a0639
Size: 571,152 bytes
coqide-dbgsym_8.9.1-5_amd64.deb
SHA1: 6f329e591b722f81cee73ba4bae483a68dfc2a7a
Size: 500,332 bytes
coq-theories-dbgsym_8.9.1-5_amd64.deb
SHA1: 67b591ed0c2129b03185d960a5b39caad2f9d3a7
Size: 770,060 bytes
coq-dbgsym_8.9.1-5_amd64.deb
SHA1: deeec32029d1c6977a11aace9f854b0d5ed65693
Size: 5,659,484 bytes

Submissions

sgne4ei7
Submitted
Wed, 29 Jan 2020 12:27:11 +0000
Signed by
0xD9795CB00A61AF5E

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1580239419"