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 02:49:40 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Sat, 9 Nov 2019 07:07:37 +0000
SHA1 of .buildinfo
76352cc25888ef7f40c943e1dbf896ea237e03e2

Binaries

coq (coq_8.9.1-2_armhf.deb)
SHA1: 7f276ec5406429c93e3c6c90459cabd36e53cea9
SHA256: f11a358eaf426e8d18f3a35ea07c84c3f084c2c87399ed45c05ad3f9c96546ab

Size: 60,859,848 bytes
coq-theories (coq-theories_8.9.1-2_armhf.deb)
SHA1: fa7ef94e878a77f94e9b29ac59bdf70a6cedf857
SHA256: 2cd72d4733cb1362e6d47d9e9212b54a4a74168b26fb27405c412d984a542d99

Size: 20,363,900 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_armhf.deb)
SHA1: fce6e13e89c4820e3105ae7ea097a5fd3c162950
SHA256: 1b48a7f40ea8250eefba5489696a3566e7692644a300deda6bcc148def1a8f6a

Size: 5,608,912 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_armhf.deb)
SHA1: 16e3d6d63efb1597ed0a47f2900129c622420e38
SHA256: 38781fd1757927eb76ca1470d6d5c77d8490a42e859d98f9960f9c5b02b96e62

Size: 14,776,828 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_armhf.deb
SHA1: 2531b4b15128696038b76a40940f0d57f9d6f888
Size: 499,588 bytes
coq-dbgsym_8.9.1-2_armhf.deb
SHA1: 93dce89e83f2d2e658952d763518df7a346f7670
Size: 3,508,632 bytes

Submissions

cbpsonw3
Submitted
Sat, 9 Nov 2019 07:07:37 +0000
Signed by
0xC7E7F3E4B48B3CE6 opi2b (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"