coq_8.11.0-1_arm64.buildinfo (view)

Source
coq
Version
8.11.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 25 Mar 2020 00:16:03 +0000
Build-Path
/build/coq-8.11.0

First submitted
Wed, 25 Mar 2020 02:32:41 +0000
SHA1 of .buildinfo
f78cf044961d1b83afbe796c4b3a482d7712e8b7

Binaries

coq (coq_8.11.0-1_arm64.deb)
SHA1: 85a4deb1f6d942e6c67e91fce85dab70e23da72b
SHA256: 06994b333c74e820628ef7a9ec98015da6fffbcfaf26f567007515d4c87fb333

Size: 83,859,556 bytes
coqide (coqide_8.11.0-1_arm64.deb)
SHA1: 50fd6250d42bf384c80cc247269adf11020ec40e
SHA256: 59ea5934ca9b8fbd5c29b947f480b985646f957546b5e943b4590d25bed2748c

Size: 2,093,436 bytes
coq-theories (coq-theories_8.11.0-1_arm64.deb)
SHA1: 0869884d8988ae4c21db89763765dd87c7d6fa4e
SHA256: f6895aceaceda2c9b1362895999786896965f8f13461326042b4fe7ebd7d4f34

Size: 21,437,328 bytes
libcoq-ocaml (libcoq-ocaml_8.11.0-1_arm64.deb)
SHA1: c8df3baf3018cc26bd8ccd22c72613e622ab1a35
SHA256: 56cdcfff9a9952ad1bcc34a2111bf91d58c418a496e844b834bfb11c4239f8aa

Size: 6,754,172 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.11.0-1_arm64.deb)
SHA1: 6f99070624dc75e2f8e2153cfbf1d1c3839a3023
SHA256: 5706fc07379d607a7f5ac537a88d58570ed80bdd58f37b5fd5dd2b5dcc2d5737

Size: 16,443,064 bytes

Other checksums

libcoq-ocaml-dbgsym_8.11.0-1_arm64.deb
SHA1: 005aad14d05d7944b25ea6a92f2c98806aaec9f6
Size: 588,316 bytes
coqide-dbgsym_8.11.0-1_arm64.deb
SHA1: 9840a30bdc6d53ff458e785d351d2dabc3d69316
Size: 550,256 bytes
coq-dbgsym_8.11.0-1_arm64.deb
SHA1: f4ba17ccf9ab37a2c94bafce86e6e2a04a51ca98
Size: 6,460,552 bytes

Submissions

xszw4kv9
Submitted
Wed, 25 Mar 2020 02:32:41 +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="1583440650"