coq_8.9.1-2_arm64.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 3 Mar 2021 05:46:52 +0000
Build-Path
/build/coq-8.9.1

First submitted
Thu, 30 Jan 2020 00:52:42 +0000
SHA1 of .buildinfo
703eb9d1374f6b0273acd4d902c46d8334384637

Binaries

coq (coq_8.9.1-2_arm64.deb)
SHA1: f437e4edbd631d1247b66dd788a9bdb124a57174
SHA256: 14a79f04550c091b18a3f06133e87d1902e015441c0e184d9607fe79454c3c3b

Size: 67,120,152 bytes
coq-theories (coq-theories_8.9.1-2_arm64.deb)
SHA1: 8d44992a29150244e57d35302a4a6327a4440e99
SHA256: 565da807f13faaea1290f0b594c3fd06d0d6ebed318dffe5ffa6c7f8a93a9da0

Size: 20,374,800 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_arm64.deb)
SHA1: 113ec7c4e7e79a5e867576a159d4a56e01603f5a
SHA256: aa786cd795ffdee1fcc51a2d83349ce3c7bc28403852cba98f172472996f0074

Size: 6,054,408 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_arm64.deb)
SHA1: 2c6c370c418aec42cae5b27a4e67264cd1925be6
SHA256: 70469f8672669a1f6e255423dd1077c8e0308e50a0e4e452c3b83f67598b1af0

Size: 14,416,328 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_arm64.deb
SHA1: 6f704ba36a63b1d3aa62110d6afbf373e056d5e6
Size: 528,420 bytes
coq-dbgsym_8.9.1-2_arm64.deb
SHA1: 679c105ddc1133d949215ee4881e6773ae269ba1
Size: 3,767,972 bytes

Submissions

uyapvjxv
Submitted
Thu, 30 Jan 2020 00:52:43 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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="1573228126"