coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 23 May 2018 16:46:53 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Wed, 23 May 2018 23:03:01 +0000
SHA1 of .buildinfo
4ca43bd76ec05eff837eef21f0a83e08e2938e77

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: 29cd234e5822836d94498e847703d600a9e860f3
SHA256: 1912321815ce7a67897575258565a77d3a24143ba77158e5c84a0a6730448da8

Size: 17,034,296 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: afdf54ea8366058f0370905ed499943079cd03b3
SHA256: 516e15055b141ebb57f3c8c280f7a2a77662ba0d07e80fdfe4d9d5adfdefc817

Size: 1,500,112 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: 9eae8786582c3c7a4535884a9a23fa31eed0ca97
SHA256: 7e8c5aa872bb6a626dcf72b7ae50855b003f29d144e1714bc2c4cac3abafdee6

Size: 22,885,636 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: 1c07c094f6b076f7710ccb7b69024aa846212739
SHA256: 28bf8e5a2727bfdb5066ce76333b10cf43de5328f099c3ffedb463d94e8b22ce

Size: 3,574,492 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: cc8ab8701545f72af612ade4da723e41e81ce059
SHA256: d84db6dc1228da702ade866e4b8b003ae6cf855937457fc7593f40fa4d952357

Size: 14,385,496 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: f96eec74bf9e9725e6c132518c29525471a275c7
Size: 105,044 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 6a9a9ad3ad4e73188920fc83d3a5b46423c184cf
Size: 328,984 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: 80354e5c55d70d51c4cb5c42960d2579de52f6ae
Size: 443,584 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 5f037cf81068ae5d419d50f67bbca2cb2ce795ff
Size: 1,696,276 bytes

Submissions

vhuxq9k3
Submitted
Wed, 23 May 2018 23:03:01 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (Automatically generated key for signing .buildinfo files)

Environment


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