Source
coq
Version
8.6-3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 29 Dec 2016 23:49:41 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Fri, 30 Dec 2016 01:21:12 +0000
SHA1 of .buildinfo
69c93761d80d8670b50e53cc1570d927e13a75c3

Binaries

coq (coq_8.6-3_amd64.deb)
SHA1: a84d9f391cd2e130482ae7f39fb3a29ac986bdae
SHA256: 88f3297b1757e2141193d3065d91f81e4108a692fd69f5828c63f4547e36b116

Size: 13,948,026 bytes
coqide (coqide_8.6-3_amd64.deb)
SHA1: 8489aed5213d9cc0f38aac8f13a5d76d4f792cb2
SHA256: 3dcda3e9a7b0fd26a2285070e9353be908c03eec75c701a0cfef38f279cc490a

Size: 1,404,028 bytes
coq-theories (coq-theories_8.6-3_amd64.deb)
SHA1: c4c2cb3c25de45b8f786d36041b4dde85857a141
SHA256: 5e170c5d7809609eff5328e6ce8f985421415737d1c428ad0eb33e2a92cd37fe

Size: 31,443,430 bytes
libcoq-ocaml (libcoq-ocaml_8.6-3_amd64.deb)
SHA1: 2f57d0becc0045c4be8c6a0710572c0baf88b9cb
SHA256: 19143d0037c7c37b0d6e2c7218cdcd1af308545d3c0c522cb6b3b7830b14eebb

Size: 3,500,640 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-3_amd64.deb)
SHA1: 192ead404e254918c9bce41f21f3aaa3f1da71cb
SHA256: 4f1dde8871bb6a23b14bfb08f518c5800d0460b9dcf444759659f1a47fe23e10

Size: 13,285,746 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-3_amd64.deb
SHA1: b3e4e96b3600c5f7d7e21cbf4534763133871a4f
Size: 81,746 bytes
libcoq-ocaml-dbgsym_8.6-3_amd64.deb
SHA1: 123b19af1eb8415c0c00f5b87f4a3fd9119d3189
Size: 266,294 bytes
coqide-dbgsym_8.6-3_amd64.deb
SHA1: 6dae099f10c1dcf4d319033e4fccefb490b2db77
Size: 364,476 bytes
coq-theories-dbgsym_8.6-3_amd64.deb
SHA1: 8f00fc16c749fd43be8266fdd1dfe11487ebef6c
Size: 875,580 bytes
coq-dbgsym_8.6-3_amd64.deb
SHA1: efa6dda4e4e55d5348ee1c0a099f0c92cc5898b2
Size: 1,384,110 bytes

Submissions

Submitted
Fri, 30 Dec 2016 01:21:13 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1482998315"