coq_8.9.1-2_armhf.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 17 Dec 2019 10:21:58 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Tue, 17 Dec 2019 13:51:04 +0000
SHA1 of .buildinfo
d075b060bdf4ee84c17fb9cce40e393ac9f2175b

Binaries

coq (coq_8.9.1-2_armhf.deb)
SHA1: eed6a2feed6774df2ae81136dd9b31fe58f9d966
SHA256: 7fbf4da1dff54d8a8f20aefea4e54a4e49dd2306fdfe24afbb8f4313c951bf8f

Size: 60,857,300 bytes
coq-theories (coq-theories_8.9.1-2_armhf.deb)
SHA1: 2eb1ee2150a1bea0f7d821084963b36dc2cc2280
SHA256: 35548bf338aca3cb947636c3faa110a1d51c08c96ac75fbf545c0b3f02571d39

Size: 20,364,004 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_armhf.deb)
SHA1: 7e5dfe188357512db90c7be19b4eeb90eb8a9047
SHA256: 4ef9b5fbbb772a87b6d6b187229678414cce9a9b682dfc3ee952a127291fb8f1

Size: 5,609,400 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_armhf.deb)
SHA1: 749c2351633e6c88d23c22122f60411ec625a1fe
SHA256: 9af10f74fac898a68379e23bc8cf68d7ab2b6d4c6f639c92f1a088a85874dd8f

Size: 14,776,864 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_armhf.deb
SHA1: f52d7232ea4070e40d8da72dd99d2bc1e53113f3
Size: 500,152 bytes
coq-dbgsym_8.9.1-2_armhf.deb
SHA1: b38d60adfb7f601cdfdf62d7451afbaf7b196998
Size: 3,373,196 bytes

Submissions

xdsstpnn
Submitted
Tue, 17 Dec 2019 13:51:04 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (Automatically generated key for signing .buildinfo files)

Environment


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