Source
coq
Version
8.6-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 3 Apr 2018 13:54:11 +0000
Build-Path
/build/coq-8.6

First submitted
Tue, 3 Apr 2018 14:59:31 +0000
SHA1 of .buildinfo
33aa5b14e8d830793bf8373eb9cec94faa810808

Binaries

coq (coq_8.6-4_arm64.deb)
SHA1: 07113c890024147424e1a77c54fa3f28ce11b464
SHA256: 6a736bae3143b54728225f4f24ae7aa31eb1c9f05774b1c79ae3aba73c631bdb

Size: 13,823,920 bytes
coqide (coqide_8.6-4_arm64.deb)
SHA1: 983a85c8dd2dbba43ee44ce4c5c0f9e438d64a86
SHA256: 91ef48cccc92b0fd19c04d1f86e5362b1136bf7778b4a6ab97db299b9d066b68

Size: 1,422,322 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: 627d0ed2f260464db836619ec45966a6051fafe9
SHA256: dd0e084784bc01de9f956a5c070a575b3172975f12e0ee01dc1f731b6b656c53

Size: 3,477,294 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_arm64.deb)
SHA1: 88acbcf9233b627d186b8380deef3e6b9db74687
SHA256: 700484e3174011edc1b2840e809e1041661051b1baa5cda391c996c148f35141

Size: 13,524,544 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: fa6cd4de60f2df7fa1870a7a823eedc07efb7830
Size: 79,288 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: ae39cc039edb3ee96c62c4c8a176132b58498e33
Size: 256,432 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: b4d49285dd2d787adf1392f8f89b5d37f23933a2
Size: 357,408 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: 67ae81f09ca407fc1b53a824e5abb9fb573ab758
Size: 1,308,336 bytes

Submissions

Submitted
Tue, 3 Apr 2018 14:59:31 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"