coq_8.9.1-2_i386.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 13 Nov 2019 19:46:20 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Wed, 13 Nov 2019 22:17:04 +0000
SHA1 of .buildinfo
b30c9adba49664c748439b008aaef24eecf68e25

Binaries

coq (coq_8.9.1-2_i386.deb)
SHA1: 31bd9271da575b076501c6f9fd8a62e970276098
SHA256: 31e0e3c177fc688b805e1a4959565b152507f437eade2909f08c585e5d8973c9

Size: 59,502,712 bytes
coq-theories (coq-theories_8.9.1-2_i386.deb)
SHA1: 9d48328ebb3134ece612bbf338f3350c7b627aa7
SHA256: 7a88771dcafd070352d87549c84100d84997b2f447d89977d31eef3d27a057dd

Size: 28,971,064 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_i386.deb)
SHA1: b815ab809cfce237ea33a2f6544d6384acefff09
SHA256: 1c2b60d984d6d201f77b8d6b16880c82282e5df155b61130f80ba2c51055c9d4

Size: 5,403,372 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_i386.deb)
SHA1: e3e517fe82bcaf88aa6b99d14e352c6261088fd0
SHA256: e3e03d51c4f04ea8614f0c6fc040845beea2ab52b1fc6b40a84f7933ad022a15

Size: 14,117,080 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_i386.deb
SHA1: 579c8cd2db319e7f839cda39547844aed7419377
Size: 555,912 bytes
coq-theories-dbgsym_8.9.1-2_i386.deb
SHA1: e22134ee395de5dc4708221adba3c7eeeec1963c
Size: 739,432 bytes
coq-dbgsym_8.9.1-2_i386.deb
SHA1: 9aa6cb903089d4cc8244ccecaadf61baefd05b95
Size: 4,047,984 bytes

Submissions

d4nihetx
Submitted
Wed, 13 Nov 2019 22:17:04 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1573228126"