coq_8.9.0-1_armhf.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 24 Apr 2020 12:17:09 +0000
Build-Path
/build/coq-8.9.0

First submitted
Fri, 24 Apr 2020 13:40:00 +0000
SHA1 of .buildinfo
7437e53a5f8fc136eee81d387a7a6228ae184c2c

Binaries

coq (coq_8.9.0-1_armhf.deb)
SHA1: 95fa9cb9124878651a7b26e7089cc167852e7798
SHA256: 72fa2ba9ea19d069e45383c9c4ede1549604296550fcf0b1240c8fdb2bf1d001

Size: 57,316,360 bytes
coq-theories (coq-theories_8.9.0-1_armhf.deb)
SHA1: 026deb7d0a8ecc1d131a36bfefabd7e3c548daf3
SHA256: 72514e5f0ddf2f861c0a0f3d2b08aeb5b9ed02b97ba847a0d3071e1055e207a4

Size: 20,349,000 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_armhf.deb)
SHA1: 7fe2cc6dd64166bdbd6d20ac95aa0dca01c4a4e9
SHA256: 87381716aeb5e6c4b16997858c9f1e9c424f50d72af87c1fa0e2909e6b7d6fed

Size: 5,382,080 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_armhf.deb)
SHA1: c6e2f9f43b566e7d4e8921f98b64574c410f4769
SHA256: fb24d530ee5ae65216f7c4b5a77280efb571ab01ef469b7a1b78efdfe78e7460

Size: 14,394,936 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_armhf.deb
SHA1: 659bb6c518f03d345a37b4031df6ea98ff51b102
Size: 478,088 bytes
coq-dbgsym_8.9.0-1_armhf.deb
SHA1: 0b055feb094fb3af7124c6d3bee39593d616be03
Size: 3,074,308 bytes

Submissions

gzcktofr
Submitted
Fri, 24 Apr 2020 13:40:00 +0000
Signed by
0x4EE7D57983E7F103 ff2b (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="1549474869"