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
Wed, 27 Nov 2019 02:28:11 +0000
Build-Path
/build/coq-8.9.1

First submitted
Wed, 27 Nov 2019 02:33:33 +0000
SHA1 of .buildinfo
690d580e06df1e0ee2cbc4fa937cd05052cd5c77

Binaries

coq (coq_8.9.1-2_armhf.deb)
SHA1: 04035cb4298af216e3449b1c0ea84deb42163a29
SHA256: 67138da56ecde348ee5e18133888f6eb9f1c405a15d7d1a9caed17fd88a57503

Size: 60,854,912 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: d4bb7cbafa353582f604a9424d4771a2e7494879
SHA256: 32d8392588ef6e213ef2d7af81d8879f0b3fc7844c6b892aed1cd4f89c5b0e74

Size: 5,613,572 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_armhf.deb)
SHA1: 61ef7a0a37087d4202d8ed6a8b3bcd9dc2c688ef
SHA256: 8c0edc08ed83d09bdd8dea6cedf945dd9eed62701c113875c56e15cbd19b7e6a

Size: 14,780,472 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_armhf.deb
SHA1: bf50858dc56598281ef6aee89cf13b470d80c629
Size: 499,216 bytes
coq-dbgsym_8.9.1-2_armhf.deb
SHA1: 57baf972803f087a0934d3a9c984677fa1f1c7bf
Size: 3,321,876 bytes

Submissions

bxcpx3ty
Submitted
Wed, 27 Nov 2019 02:33:34 +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"