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
Thu, 20 Jun 2019 12:25:38 +0000
Build-Path
/build/coq-8.9.0/2nd

First submitted
Thu, 20 Jun 2019 14:40:41 +0000
SHA1 of .buildinfo
acbbe255ced19d6c12e6f6554e192af62d13495c

Binaries

coq (coq_8.9.0-1_armhf.deb)
SHA1: d48d33bf5954e5be223bcfdb8bcdb66cd4db5acd
SHA256: 5c43c23989241c6a2115ff4f8ae17f7ca02812e8eef10a90eebb8cb36de34ad3

Size: 57,328,276 bytes
coq-theories (coq-theories_8.9.0-1_armhf.deb)
SHA1: 40e5d7485c424b2a1c1d0e75a2072d92004cff13
SHA256: 113b1da1c01f35a58f0b3a645a588a70d048e7cde8b488cf35f8088d045cfda9

Size: 20,351,940 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_armhf.deb)
SHA1: b420aac9796ca2521debb07816218e44e752a00b
SHA256: 7104c6a3b7f5814a417ca96cb074a423312989a41513dc22296b6067ef6d8d92

Size: 5,380,324 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_armhf.deb)
SHA1: 5351a2f5ca6b4037799250f1a9e6aeb4d9a43a2a
SHA256: 1f76c717c11e367b27f0174851e714b63eab78639d3ced800a72f5eebc38a397

Size: 14,397,292 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_armhf.deb
SHA1: 959051d289c2c221f850a8d31369de85660adacd
Size: 477,724 bytes
coq-dbgsym_8.9.0-1_armhf.deb
SHA1: 6067cf2934071c1aefa4fdc975dbf26dbb17c786
Size: 3,336,908 bytes

Submissions

zjadhjhs
Submitted
Thu, 20 Jun 2019 14:40:42 +0000
Signed by
0x4AB633F00B2AAAA1 odxu4a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1549474869"