Source
coq
Version
8.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 29 Dec 2016 11:08:27 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Thu, 29 Dec 2016 12:27:40 +0000
SHA1 of .buildinfo
4b7d82692a1f2959e3a000d742cac35f71be4f4a

Binaries

coq (coq_8.6-2_i386.deb)
SHA1: 69b004449dbbadfccdc9a533620f044a64970ece
SHA256: 63b13051314732da5d54de6d38d8b4a3982b889deb08c52971f3c7a470958e37

Size: 13,589,622 bytes
coqide (coqide_8.6-2_i386.deb)
SHA1: a361e19c1e26e5cf2cef0163fc318bfa93554d99
SHA256: 69f557d78a4cfd262687919212058c0489645751bbc677877b4c30107e9880e9

Size: 1,313,158 bytes
coq-theories (coq-theories_8.6-2_i386.deb)
SHA1: 7f0b2903ead6e8ce823ce02c3177d1fd61cd2d14
SHA256: 0f9d08cff76c3ee16c7edb6f89f9b99e668ba2ec3faa0dce05324b4710ee8375

Size: 30,394,850 bytes
libcoq-ocaml (libcoq-ocaml_8.6-2_i386.deb)
SHA1: a2286adc2b0895c690b3ae55522326fa4d38d00f
SHA256: f750e66052da0f6e108f4cdc9c412a90eae8c7bd974d97f9b54b1788b63aede9

Size: 3,402,660 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-2_i386.deb)
SHA1: 0d49a6c425296c3e51cfd20d93964d4a7aa71ec2
SHA256: 64ce5aa2532398ba30f1ad37e5c2a1d9c3f6b364e7a689f0f6658d74d6f96c6b

Size: 13,320,206 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-2_i386.deb
SHA1: 04a7b346be0c9948079713650f675837d6582efd
Size: 79,148 bytes
libcoq-ocaml-dbgsym_8.6-2_i386.deb
SHA1: 1b0034d52be9bfa1980cf8461df0585e81da58d9
Size: 257,882 bytes
coqide-dbgsym_8.6-2_i386.deb
SHA1: 749c05eb722f5cb1c63c879335ad8a2169c9815a
Size: 347,522 bytes
coq-theories-dbgsym_8.6-2_i386.deb
SHA1: 5bb5634120956ea810e635f41a58d0b0c24fbf44
Size: 845,688 bytes
coq-dbgsym_8.6-2_i386.deb
SHA1: 42c2fae0a15aa2461ad97edfa3507593f894547c
Size: 1,316,854 bytes

Submissions

Submitted
Thu, 29 Dec 2016 12:27:40 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1482945569"