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
Sun, 27 Dec 2020 20:39:17 +0000
Build-Path
/build/coq-8.9.1

First submitted
Mon, 25 Nov 2019 14:17:55 +0000
SHA1 of .buildinfo
f5abc77225e6b313e9d532ec0b9b598de4ef7f90

Binaries

coq (coq_8.9.1-2_arm64.deb)
SHA1: 78825ffb150f5538df00329a21cfd031817df0c4
SHA256: 1cec26961f2f06c8a193f71008f256eafce6d49a057bf845d2b82b91fb28f919

Size: 67,148,108 bytes
coq-theories (coq-theories_8.9.1-2_arm64.deb)
SHA1: 102221769a89ce008b44de49abdaf7ab18eaa76b
SHA256: 04f3878688dcdba0785ac919c2d88981a80cd765c11c45acc488ab5c7448f57d

Size: 20,376,240 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_arm64.deb)
SHA1: 1a9734e21c97f455b3cd5e8faf5af01830620749
SHA256: e3557d6f94e9cbcfcea214fd54602e26b7cec670ff16018cf193db90afa9c160

Size: 6,047,452 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_arm64.deb)
SHA1: 336162bf58e14a2cc34aedcfb9a232a0e6fd3b7f
SHA256: f12cf7af4adfef5c544e47118c97e5d99c90cea58d6fa3be3f023edec0458494

Size: 14,422,716 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_arm64.deb
SHA1: 4507822892f4153e96da802aabee4276c53a75b9
Size: 527,500 bytes
coq-dbgsym_8.9.1-2_arm64.deb
SHA1: 53d17553f7fcee8716c3948da0275c2d48d2a178
Size: 3,665,580 bytes

Submissions

sq9b9zmm
Submitted
Mon, 25 Nov 2019 14:17:56 +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"