coq_8.9.1-4_arm64.buildinfo (view)

Source
coq
Version
8.9.1-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 27 Jan 2020 12:31:23 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Mon, 27 Jan 2020 15:24:17 +0000
SHA1 of .buildinfo
f1cb673d24bf842e734ac1cad1a74e84ba9e2875

Binaries

coq (coq_8.9.1-4_arm64.deb)
SHA1: c7899168baf07db598125a600712c18b7adb97c9
SHA256: f1be058c3768fc2de3e6581c384f642224c82353b9fbf3457869a61d4fec30d6

Size: 76,905,628 bytes
coqide (coqide_8.9.1-4_arm64.deb)
SHA1: 9086f91598d58ddc58d53aa53ca79946dd6e4840
SHA256: 4b2d1c5b436f401475f2bb0c1f65ddbadec063ca1bc488afc0b5ca18aa711c30

Size: 12,031,028 bytes
coq-theories (coq-theories_8.9.1-4_arm64.deb)
SHA1: e32b0190b23fbaeda993fda502aaea68ef2da482
SHA256: 3de6047492e30d50753a9478891c74cf33895a569a7c96cadaa33a576bec1b5e

Size: 20,356,908 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-4_arm64.deb)
SHA1: 68143f9855e467098b12bb8aad8b1a3c82739ccf
SHA256: a2f56a7f1b67079d59b86c90db2cdda68d9af6db0d44dc60d3f12e11f60cf6d2

Size: 6,054,096 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-4_arm64.deb)
SHA1: 968029a3cdfaa786a2fedb1834b2178b42cb211a
SHA256: 2549fe1f2f59335cd753ce74cf780dc6c1f5c5cb299d2e1893b28fc5b6ddac5e

Size: 15,419,332 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-4_arm64.deb
SHA1: 2263452ff1dd1e5fd6b3aec6d7a3a76528b15dbb
Size: 528,064 bytes
coqide-dbgsym_8.9.1-4_arm64.deb
SHA1: 1c22f43c378a33d5534e5167040de4d7c4ca5d1f
Size: 1,658,756 bytes
coq-dbgsym_8.9.1-4_arm64.deb
SHA1: 228e44d9299185c5451f925e0ac5024ab4c1cdeb
Size: 4,915,084 bytes

Submissions

nozqxs7j
Submitted
Mon, 27 Jan 2020 15:24:17 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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