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
Sat, 9 Nov 2019 05:03:34 +0000
Build-Path
/build/2/coq-8.9.1/2nd

First submitted
Sat, 9 Nov 2019 07:07:40 +0000
SHA1 of .buildinfo
b38e3225e48ad78318640bff113f35cad7528a06

Binaries

coq (coq_8.9.1-2_armhf.deb)
SHA1: 23f201857cebd06eebf26ab650f77e2ddf8ad884
SHA256: 325413ab204e7e7fbd527287493c1bc38eeee64c41f18d33b485157542bd2c29

Size: 60,857,596 bytes
coq-theories (coq-theories_8.9.1-2_armhf.deb)
SHA1: a85250d7a3bf8753535e9e35d7682ef136e820e5
SHA256: 253018b97c434a62d28829990bd8aa89cf58249b32f9fcd3396e71d388428e69

Size: 20,363,672 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_armhf.deb)
SHA1: de3424b08caba6653ce0838b8181185a7b0e0619
SHA256: 86cd0edfc25cb81cf0e40d5275fffbebf8aa52538c424520a8fa4f034d978a52

Size: 5,607,724 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_armhf.deb)
SHA1: 60cdd8b4cf62b5df5011ca3ff91748594415d7f4
SHA256: ffbaea33db6c2c1128007748ab443b88577d619be1fc323a221ab360cc238dfe

Size: 14,771,328 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_armhf.deb
SHA1: 682c84877c6c834c3f6857aad7f8fbfc227173dd
Size: 499,100 bytes
coq-dbgsym_8.9.1-2_armhf.deb
SHA1: 67645698352da9dd88fb9762cf1f01f2b0460cd2
Size: 3,341,580 bytes

Submissions

uomfhdvd
Submitted
Sat, 9 Nov 2019 07:07:41 +0000
Signed by
0x9538881E43D098FB jtx1b (Automatically generated key for signing .buildinfo files)

Environment


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