coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 27 Sep 2017 04:06:15 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Wed, 27 Sep 2017 08:27:23 +0000
SHA1 of .buildinfo
83d2fc51efa60d1da819adb26bd25c1aa3cbc38d

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: 77194e1f04f4e2a0ec0d5be25b08d1dbc98ded00
SHA256: 872587631a2caf0797afd141690a357046f945363a3bfe1ac2c1565e3ba5634f

Size: 17,635,870 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 38840f05b8feb0880b0f7b3d13ac2a868d94894c
SHA256: 8be4529e3d2959f1c170b1bd265ec91a57c4f564aa277534380142b12ed9a58f

Size: 1,796,234 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: cfe10251bb1051086ad34b6db98a2c6292e9a0d1
SHA256: 887a9a9b7519b440694449668f9fdfcb3cdef9b69ed8faf8b07a11f1410fad6b

Size: 22,898,370 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: 9d9e0986b4ebb5d3998ac4682afe48761a149365
SHA256: 368dbcb08cfdb90f4f31bdfde48ed7293c4220ac0b475b5d6ff2d5b3a35582d3

Size: 3,672,996 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: 1fb8cbb43393cac5b71af853d0b60821364f2b28
SHA256: 2696bfa46497cd5ed741df5278f91861b73b2990a19ebdbffcca19e96f4ba490

Size: 14,773,296 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: c69840756eb75eae9764ecce8fc66de79199cabd
Size: 105,948 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 6d68919a2c3397f29903dd1550951a15df36dc58
Size: 333,998 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: e0c75541d5954a49734612d40fa8c1ae4327dd6d
Size: 448,850 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: a211691c5004e558e2934e2b28bdbe6ace7c4fbb
Size: 1,732,690 bytes

Submissions

s9cbnotc
Submitted
Wed, 27 Sep 2017 08:27:23 +0000
Signed by
0xC7E7F3E4B48B3CE6 opi2b (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/coq-8.6/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1506416932"