coq (8.9.1-2)_8.9.1-2+b2_armhf.buildinfo (view)

Source
coq (8.9.1-2)
Version
8.9.1-2+b2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 30 Dec 2019 06:10:35 +0000
Build-Path
/build/coq-xfci5d/coq-8.9.1

First submitted
Mon, 30 Dec 2019 12:16:53 +0000
SHA1 of .buildinfo
d4fa2069dcc3af88d13cc046fe1a6c983287f427

Binaries

coq (coq_8.9.1-2+b2_armhf.deb)
SHA1: da7de9acd8275e4c08188d1a246f108910e602b9
SHA256: ffac87ad0308234eed45c6d0eb37012d57f930cb64d28a41b1d5bd16b30293f8

Size: 60,857,600 bytes
coq-theories (coq-theories_8.9.1-2+b2_armhf.deb)
SHA1: 89be3bbd080834ed41e2f11554708f3863b65233
SHA256: 8c4081ec7a56b1f3ee73f113b3df067a932de66debd42ca735b394b2dd611cf8

Size: 20,364,404 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2+b2_armhf.deb)
SHA1: 5515b9c9ad5038b64856ccd87ebceac37bd8c06d
SHA256: efd75d855cd34264073b76b706d2692c12be3ff1953f891526a4228f2f2e60aa

Size: 5,609,368 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2+b2_armhf.deb)
SHA1: 0786a4979eed548c92c6da094c3ab4c3f8222909
SHA256: 0bc8a061c722c235401f73edd9201b69b4dcee1217c6e2c56c68359d4ebbc701

Size: 14,774,972 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2+b2_armhf.deb
SHA1: b087f1c999ccca39937f88c15b6e2dd1e6e79f93
Size: 498,216 bytes
coq-dbgsym_8.9.1-2+b2_armhf.deb
SHA1: 06382f23d0e2b6e1fdaf128ea069d4e0786fdb25
Size: 3,373,108 bytes

Submissions

9hbdamw4
Submitted
Mon, 30 Dec 2019 12:16:54 +0000
Signed by
0x3C85D13B25FACEE6

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1577681033"