Source
coq
Version
8.6-4
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 25 Apr 2017 02:43:42 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Tue, 25 Apr 2017 05:02:58 +0000
SHA1 of .buildinfo
4ae3eb333ec49d4cfe948d7442962adc7aaa5240

Binaries

coq (coq_8.6-4_i386.deb)
SHA1: 7c107263896da978e2f269e0b3c5b3e3e0fdc27d
SHA256: 3985ad3d2f936d0f651e0af40f8cce98c0cbd1270785d7c7038df0515c5e2b29

Size: 13,586,884 bytes
coqide (coqide_8.6-4_i386.deb)
SHA1: e70f843563dc98a7a11bd6a7e27bc84408463ff3
SHA256: 1c91adcd8a9a131c19764cca6b53892db0add6bf7f1ab33a47d3a7f7893f06e7

Size: 1,313,342 bytes
coq-theories (coq-theories_8.6-4_i386.deb)
SHA1: 70b7bdfbdc959905b801f3b16abb080e1a5acb41
SHA256: 50e4791829271c172661ef9c74f6cf94d8dbb79fc8404219e8a36d83701b9852

Size: 30,415,854 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_i386.deb)
SHA1: 9f5ef6069afab47ff900cf06b98382723ee4d4a6
SHA256: 83bb70e02450a364d33a3208f98feae3ec4e3d27119a6fb5418ab377cf0cc834

Size: 3,401,574 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_i386.deb)
SHA1: 35e50ebbd87da0e9ad7e8813bbf2f362fbabb9de
SHA256: 21972b7c9d6251a7106d3d96220320aecba38c19928fb60edc843916b47ceed9

Size: 13,319,640 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb
SHA1: c328a6b223d656567fbf51ff88212766e4c1990c
Size: 79,084 bytes
libcoq-ocaml-dbgsym_8.6-4_i386.deb
SHA1: d2e603005dee17fd9d6bf53a35c91fba5f35c6d7
Size: 258,534 bytes
coqide-dbgsym_8.6-4_i386.deb
SHA1: 5c5745dabbfb6badddc23ede432bbe112511d0fa
Size: 345,428 bytes
coq-theories-dbgsym_8.6-4_i386.deb
SHA1: 31aac30cef4280ed028e4bf23809f4accb2a410d
Size: 844,956 bytes
coq-dbgsym_8.6-4_i386.deb
SHA1: e27a41c7beb02e6b08dc386952ca4931fd75869f
Size: 1,276,174 bytes

Submissions

Submitted
Tue, 25 Apr 2017 05:02:59 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-4=/build/1st/coq-8.6"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1483051547"