coq_8.5-2_amd64.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 11 Jan 2018 12:21:05 +0000
Build-Path
/build/coq-8.5

First submitted
Fri, 9 Dec 2016 07:42:37 +0000
SHA1 of .buildinfo
b26aa50ba79b0335e8f9adc11322f8f894c464e3

Binaries

coq (coq_8.5-2_amd64.deb)
SHA1: 5baf51daef78a0fd213893966dae4bbb19244b1f
SHA256: 667589b263b590685a45895bce73f1c4e636ab6c4c864d628e1d0bff89bb1ee6

Size: 13,613,424 bytes
coqide (coqide_8.5-2_amd64.deb)
SHA1: aec4dd009fdd5d1a47b9775f8f4bb1cd810e87da
SHA256: 179cc773528d7fad5b9389b788f78314f344f2fac015eeb395a9eafdef25a7ec

Size: 1,282,022 bytes
coq-theories (coq-theories_8.5-2_amd64.deb)
SHA1: 57ece6a84556fda8029fa1ba01c07ae5a6616011
SHA256: 4b52a7c57f611f990bace69824bdf777635d475b9f76865ead65873346b0a46b

Size: 33,167,560 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_amd64.deb)
SHA1: 3e2515a3a830ced3b0cfb9ca28431bd27c238fd9
SHA256: 07807974506a5d00dbd203c083787773b6370bf09ea8452d01b69f5523be57a0

Size: 3,437,290 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_amd64.deb)
SHA1: a15a6f7ed6c9bab883de2ac80bc0ff741973ab17
SHA256: 455e6ac720d71c4de6e0c09d18c3e4cb6b9088468ff726b248ba513000ebcfe3

Size: 13,447,906 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_amd64.deb
SHA1: 9041ba53d9ecf892511054386e35d4fa84da8acf
Size: 84,552 bytes
libcoq-ocaml-dbgsym_8.5-2_amd64.deb
SHA1: dd5a74df0b0fcbb18a76c61f27c56ec41bf77c34
Size: 256,426 bytes
coqide-dbgsym_8.5-2_amd64.deb
SHA1: 1fcbaf76e22d1335a5234080cd0b8aafef94d7fb
Size: 353,812 bytes
coq-theories-dbgsym_8.5-2_amd64.deb
SHA1: 24ce7ebc9f834e87351cf283d4db2c6b888e322e
Size: 894,922 bytes
coq-dbgsym_8.5-2_amd64.deb
SHA1: e048631986b9a26642603785358a4a14dfce5767
Size: 1,359,400 bytes

Submissions

7ueib9zm
Submitted
Fri, 9 Dec 2016 07:42:39 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1453978027"