Source
coq
Version
8.6-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 9 Apr 2017 15:19:23 +0000
Build-Path
/build/coq-8.6

First submitted
Sun, 9 Apr 2017 16:21:30 +0000
SHA1 of .buildinfo
e0b1eff5061792a275d7854b6292f299f30d1bdf

Binaries

coq (coq_8.6-4_arm64.deb)
SHA1: b698e1f000a6d6b1dbaf7f9789b75a55e5281810
SHA256: 6338b54dd0fa3882818e99e293e2a394e2b02468faa92f6fa45a13d6cf7254f5

Size: 13,823,832 bytes
coqide (coqide_8.6-4_arm64.deb)
SHA1: 345b79efd7368e060f29f8661b45f6e0b3f1e4ad
SHA256: e97a4ce05e49cab469e6558a9e1f2855bbaeb1394bf5071a710cddbd726aa9d5

Size: 1,423,988 bytes
coq-theories (coq-theories_8.6-4_arm64.deb)
SHA1: a4ea72e2b9f7617cc9bd76c591fc75208843c278
SHA256: abb2383bae0e8ea24268c5fb8cd43e78e97f8d4e638e8bccb3a36b0c89c635e0

Size: 22,853,380 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_arm64.deb)
SHA1: bea1edd844dc9d25974107d1a5be1c316517047c
SHA256: dacc2200734dd762aa18d931321cba80a599b65c59bc3b317fc5147c7cc4d602

Size: 3,477,198 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_arm64.deb)
SHA1: 46fa5d4b556fdcf269226b354c7682c1ef42da25
SHA256: d90eb5552a2fffe6fd5d783cbd94a75c4028fbb337794cdeaa9a79f7dce5d2d1

Size: 13,521,522 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: eeae5f855db3cdb84ee0b01676c4a6b97e901a24
Size: 79,736 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: 6b8fe63874aaccb08f9c850092a5b8a628ab99cf
Size: 253,824 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: 7391e248906b3c2cdb23bdb928fbe182560ca306
Size: 359,662 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: fb964187db57d678d6a690554418bb5033a34091
Size: 1,302,006 bytes

Submissions

Submitted
Sun, 9 Apr 2017 16:21:32 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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"