coq_8.9.1-2_amd64.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 10 Nov 2019 08:52:20 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Sun, 10 Nov 2019 12:49:15 +0000
SHA1 of .buildinfo
bb173e8753ba5898d99d334e06402b6d8276e296

Binaries

coq (coq_8.9.1-2_amd64.deb)
SHA1: 6f7f7ef670b68ad80b7f131b23d488f3e44e1395
SHA256: b19676bf1a64886ac493558f1c0a999cbd5553d39a3382b49a7a7c9d750004e0

Size: 62,450,364 bytes
coq-theories (coq-theories_8.9.1-2_amd64.deb)
SHA1: 810187b42f8aa0afbc339bae983b4e952d0fc5a9
SHA256: 19e1fa86a9f6d934ac940bb719fd4015f3593e131b50991de2769fc4084e8a05

Size: 30,190,404 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_amd64.deb)
SHA1: 12309537f4b0289c42ed7f90ecccc3baeabad86b
SHA256: 777a182d5e2dd0bde920978e10282825fd88543b17a1973640f16ff0a4db7993

Size: 5,679,592 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_amd64.deb)
SHA1: 2ac264803744d26a46ae95cfdbb210641a50766e
SHA256: 957c851deaf3f3978ae4cdc857691301f13afbdafe9750b32764edcd3efe3668

Size: 14,097,260 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_amd64.deb
SHA1: fe0b00c82cad8fca0c0dddc69ed0e1342c245a35
Size: 573,160 bytes
coq-theories-dbgsym_8.9.1-2_amd64.deb
SHA1: 9e0d44c6dad5fa466965c4655e6f721dadb1d8a0
Size: 771,956 bytes
coq-dbgsym_8.9.1-2_amd64.deb
SHA1: 87abf5b95967d5eb17381e95939b9ebe94b8e2d3
Size: 4,345,036 bytes

Submissions

b9wz7gcf
Submitted
Sun, 10 Nov 2019 12:49:15 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1573228126"