Source
coq
Version
8.6-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 17 Jun 2017 19:45:37 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Sat, 17 Jun 2017 21:28:10 +0000
SHA1 of .buildinfo
971c378a6c0ca9e676c69747998f0a07d9eabd4b

Binaries

coq (coq_8.6-4_arm64.deb)
SHA1: bc46f16650dfcc6a0b34d5a71ab0a8d72e8957e0
SHA256: fcacc592c1774db9988f12e0c094d78c36bf66e164b37a1b27a94fa197309ee7

Size: 13,820,996 bytes
coqide (coqide_8.6-4_arm64.deb)
SHA1: 1ac90e1935f545d38a249eb96b2d3383f3ca34b5
SHA256: 25835595f4fbfc1fbb63c4690de3ef7c76a0d5ae0f5d1d559ced231d0f4049d4

Size: 1,423,576 bytes
coq-theories (coq-theories_8.6-4_arm64.deb)
SHA1: b0416cd7b7b7fc314ab219ae070e66df131b506c
SHA256: a059e33fd252200476d24e26116822550c1cce71c5cf2ee0ad6d6988bc28abeb

Size: 22,857,022 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_arm64.deb)
SHA1: 445dd93a1ecabcd85e9a75142352e7d5aaffe917
SHA256: 31a1ad89ea0742dc8f300b72d31a1745b0a3c29e81fa80c8dee74a2da55eb7ff

Size: 3,478,742 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_arm64.deb)
SHA1: 98c014aa6f00774760a78f97919943575c754ce6
SHA256: 96f9c65ea7176c26b71717bcba20e2b9c6d4247dc52cfa36a409b591dd1a3a06

Size: 13,519,610 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: 0665d0aa268a7bca92d06267115f2728d6c5b603
Size: 79,752 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: b875db0c53304e8c99860accbacb533666c36d5c
Size: 253,732 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: 9748d18cb2993cc43c662bb0cd4119729e406fd0
Size: 356,842 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: 9083342c089d06a322d6bd1895a1f5d94cf9bd3a
Size: 1,322,594 bytes

Submissions

Submitted
Sat, 17 Jun 2017 21:28:11 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-4=/build/1st/coq-8.6"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"