coq_8.6-4_armhf.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 19 Apr 2017 14:36:24 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Wed, 19 Apr 2017 15:39:08 +0000
SHA1 of .buildinfo
69efb229a1e6217cbf3152b096823ea0f719ad6e

Binaries

coq (coq_8.6-4_armhf.deb)
SHA1: fd7aeeff8e5fc6aee110b526a645fa65d3f42b70
SHA256: 045ee4f4970fb61cfa85d84cbed6d016d89c9bd91127878b17e4d62ee3101a66

Size: 13,915,794 bytes
coqide (coqide_8.6-4_armhf.deb)
SHA1: 77b4398d7f4a3e802e540634bae3735e53462032
SHA256: 71523d9410d947921ebe5db7f7900fc26e902caa3ebcce2b961f28d03d6c02a7

Size: 1,470,912 bytes
coq-theories (coq-theories_8.6-4_armhf.deb)
SHA1: c9daf9591edf835f96459d51871068ee589ae425
SHA256: 6cb68a24d11db48d851eaeb4a99e4fdeb0dca5d2a7db22a3819f95f899b0e00a

Size: 22,841,692 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_armhf.deb)
SHA1: 294d1fde834dcdd3cafe58f38b2b58fd9fbec9c3
SHA256: ccf18529e1e805e65a809c3de770ed84dbd52aaa6560c4ed09c3cc16e5bd2898

Size: 3,564,404 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_armhf.deb)
SHA1: 2603901848eaa61c46701546531de28e7396b134
SHA256: bef740bd2a15060c90e9e6c706b2462f1a15837f6461a22e68f5033de03c0de3

Size: 14,149,826 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: d72b6b71c6339fb5ecfeab1d36cacb6559e1bf5f
Size: 86,712 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: 7693c7ddd5ed493f4712ee87a2dcbd8659575889
Size: 282,988 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: 088dce778d34ced01ef3427e91cb8dec4eda28c6
Size: 374,086 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: 881f6066c9e3c989a3cb55306d235dc605aeaa32
Size: 1,427,130 bytes

Submissions

vcfhccif
Submitted
Wed, 19 Apr 2017 15:39:09 +0000
Signed by
0x322E4A74C5950ED0 odxu4 (Automatically generated key for signing .buildinfo files)

Environment


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