coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 6 Sep 2017 11:49:38 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Wed, 6 Sep 2017 12:11:04 +0000
SHA1 of .buildinfo
288b89610a62fcde2728d8875c18ce107cfef1e7

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: ec5d9ef2b983db35ccc9380c26c80587681e3023
SHA256: b4254c5fc94170fdb06fa0061f21c91fead1d77705defe0509847d99ac824090

Size: 13,988,224 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: 9b0c71491c67d8666df49f60efd59e11543b3258
SHA256: ca328adb9c4f4f1299ee49a1aa4f6dd946d38c4529cd46004742dffb2c6a7c40

Size: 1,414,730 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: 24d30bc9e7243c00b2799f30b0000e992fa93e66
SHA256: 06119df90786a8dd822e62209444bd75e7bbfdcfe2ccd651c6914e3b7a180b01

Size: 31,422,160 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: c9a551790e69b73abd59a95751be4e0135c24bce
SHA256: 8edf7d33cdcaf33037da21a59b14411319732724f81f3bb05659baad49d5cfd8

Size: 3,508,880 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 507acf1f1f7d8c4d49894f40515dae178af54aba
SHA256: e58f8750ce6922feb750ac6988e177d9e9d1be599c207552e0f937119b5ffd50

Size: 13,286,526 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 45877b33de2919969cd968fe19db1325f4cdfe27
Size: 81,468 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 766648af07bbd5e51fffa97481531dbf853ac314
Size: 265,478 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 1e4343612200a321e1bd286aade2f0765d6bb80e
Size: 365,130 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 00b3739ee6a433d549df4cbbd353240df2eaf4d5
Size: 848,780 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: cd98a1d3c97dbdcd06a499ebc2b42b318d9db2dc
Size: 1,328,942 bytes

Submissions

qhj7rugx
Submitted
Wed, 6 Sep 2017 12:11:04 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-4=/build/coq-8.6/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"