Source
coq
Version
8.6-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 29 Dec 2018 16:52:27 +0000
Build-Path
/build/coq-8.6

First submitted
Sun, 30 Dec 2018 00:51:25 +0000
SHA1 of .buildinfo
c702e6c4fd80eec825ce64d96fcdeb17ddc2c467

Binaries

coq (coq_8.6-4_armhf.deb)
SHA1: 2427472c6549917d20168e52d2709ff864a2d164
SHA256: 8187cebceea985f6f2c4dadd8b3bd510d57db21a258d136b5d25237e9b2adc86

Size: 13,916,902 bytes
coqide (coqide_8.6-4_armhf.deb)
SHA1: 235ba3db3451124ce4efd232780aa08feb14710c
SHA256: 27855504c18f4bab1cc229c7b90a58fa4e0925b656e44333e5713b6e268b2eb1

Size: 1,471,602 bytes
coq-theories (coq-theories_8.6-4_armhf.deb)
SHA1: cfada68bcafbf5789d5189edae7de707cf1426f5
SHA256: 13f7e6523f36fe2163c87fdafcded93b88cd3883e5609689008782f2449096aa

Size: 22,844,282 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_armhf.deb)
SHA1: ce8114758e7542313fa63f8538528e9ce6f08b28
SHA256: 749efff95bbce91dc79bc18717e35a905ba6522f942dd7a8cd37a9901f531c3a

Size: 3,564,762 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_armhf.deb)
SHA1: c9f05dc27ad57879b4c9f34a94a5b1447d6452af
SHA256: 52ae6d36323ecc920fbf58131a2e15480702c997a46d0cfb1b5a35b3442c6595

Size: 14,155,350 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: 78f21567ed2de891324a516d5d482b6568ab99bd
Size: 86,220 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: 67f000558c27188ea5287928808800f5566f026b
Size: 283,782 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: 670e4664e9a9ee154984ad25d467fa62cba20a09
Size: 374,584 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: 7b89a9053b9cfea98f5d937d08ba867c2eff145f
Size: 1,434,484 bytes

Submissions

Submitted
Sun, 30 Dec 2018 00:51:27 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1483051547"