coq_8.6-4_arm64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 31 Jul 2017 16:26:58 +0000
Build-Path
/build/coq-8.6

First submitted
Mon, 31 Jul 2017 17:47:19 +0000
SHA1 of .buildinfo
ec1e4faa75cb2b0e21eae0a6eec99e18cdd330cf

Binaries

coq (coq_8.6-4_arm64.deb)
SHA1: 2b23d8979f331ebab2401d363cb8057aa1a13a8f
SHA256: 72364a355167a345e0cab0a1f98b2ebbfc77e8a26b9e4663a39e95d7f493be02

Size: 13,826,000 bytes
coqide (coqide_8.6-4_arm64.deb)
SHA1: 40ac71db2d5a92a1ae5f14895edc8e2bee126f65
SHA256: 6b082b1321f31e40d74fab9c87646e88ed183c0c97206e70732422704ce48447

Size: 1,422,870 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: 49e0e6c928ae3cc07a858caa027d84e15d581926
SHA256: e6ec1e9835e66716d4bdfa505c7182fc740845177bd78e0619b0756d1af98408

Size: 3,476,974 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_arm64.deb)
SHA1: aa78614a1a82a88627e5cca9be3fb54bc5494ae1
SHA256: 0663d03a5c6128415e2ffb5e795a8158ca14961ebb0316b68c274c41a9161f41

Size: 13,521,238 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: 22ba7d5db143feb717da12813ef4a4f184eecff7
Size: 79,610 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: 41271f93ae1e807b3960056b37a4c7fee7e60cc9
Size: 253,852 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: e06c27c3aaae3a02db7a034f2733ba5a9f53d18f
Size: 357,036 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: 5ab35b2cee976be32ac7d108cba3bd805f6c49c6
Size: 1,317,470 bytes

Submissions

r7usrfjw
Submitted
Mon, 31 Jul 2017 17:47:19 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"