coq_8.9.1-5_amd64.buildinfo (view)

Source
coq
Version
8.9.1-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 5 Mar 2021 14:31:17 +0000
Build-Path
/build/coq-8.9.1

First submitted
Sat, 1 Feb 2020 10:10:06 +0000
SHA1 of .buildinfo
3257aba9c8f1af54bbae0c8dd71f5b1e3c0fd8d7

Binaries

coq (coq_8.9.1-5_amd64.deb)
SHA1: 82d242c0e6b3415e20758543aac8455fa4cd4381
SHA256: b229a2886ec7f58eb1b59514004888c78fe9b9d486269f55e99d1a2f10397537

Size: 70,368,856 bytes
coqide (coqide_8.9.1-5_amd64.deb)
SHA1: 317d8244a80a60fe03ecd69e995d8b72e12f7018
SHA256: 567fd759063aed9706a8eca9c42c531cf3a24b9131a9909b08d9b638e462952c

Size: 1,856,368 bytes
coq-theories (coq-theories_8.9.1-5_amd64.deb)
SHA1: 783786d2a114d1042b0c012ee7aa26b657b06f87
SHA256: 503bb00e32eccf9c3cbb2527e930770beefc9c94fba0cbf9d73f5d619d64e92a

Size: 30,190,516 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5_amd64.deb)
SHA1: 720ce3a02916b7d54499c253b616ba70e90559bc
SHA256: 975e01942a6965f6d4250ad68f45004f4eb4b02a22ac3233b5d0a36da890e281

Size: 5,679,984 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5_amd64.deb)
SHA1: 94b729ce014a9d2c54bfe998bd6c6f0b875498c3
SHA256: b0c52f044b3f27be2de0410dddc3d7d991241f3d35c30d4c9ee46305bb0e0d29

Size: 15,105,416 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5_amd64.deb
SHA1: c9daa8b8f865df258d50968c69f9adddc6675317
Size: 571,296 bytes
coqide-dbgsym_8.9.1-5_amd64.deb
SHA1: 33dbfa4c4717007670533bfe2e9b093c6acf21ea
Size: 500,920 bytes
coq-theories-dbgsym_8.9.1-5_amd64.deb
SHA1: 914e12b1048ac746dbb8efd0ad3365179ea1e558
Size: 769,252 bytes
coq-dbgsym_8.9.1-5_amd64.deb
SHA1: 1a4680629f334db70653af019478047b07cae9db
Size: 5,811,520 bytes

Submissions

h9i4gee7
Submitted
Sat, 1 Feb 2020 10:10:07 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1580239419"