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
Tue, 17 Dec 2019 11:34:56 +0000
Build-Path
/build/2/coq-8.9.1/2nd

First submitted
Tue, 17 Dec 2019 13:51:39 +0000
SHA1 of .buildinfo
3733e4a756bf86c43ca9245fc29c5b7170732ce8

Binaries

coq (coq_8.9.1-2_armhf.deb)
SHA1: dc88f798b05477bc03249824fe6678abbf922d79
SHA256: 12bad4d4e5df192cc0e8394265e638b455508ec3b6f19452115bec882d0614d3

Size: 60,856,820 bytes
coq-theories (coq-theories_8.9.1-2_armhf.deb)
SHA1: 124e637a59d0862ce0bcc31688e3e24ad3694ef3
SHA256: 6ce577dbbcd24d7a765f1a6095430d68bdf0c768c20cb8e0fdb02760773df632

Size: 20,365,160 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_armhf.deb)
SHA1: 3fd60662d611362475b7c6101056bfb0077b61df
SHA256: 1d6fef861ecaa11ffbf8af73de427547842262258e3b532622c28e84dd1c4a72

Size: 5,607,964 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_armhf.deb)
SHA1: ae755dbdc59ee98afbb43d2f560fe40799301676
SHA256: 05903457bdd553fa479efb076b8761e8ee32de608c510b6fbff547cf183a43f7

Size: 14,785,272 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_armhf.deb
SHA1: 92b43b54f42beacadc72369c7d3f8cce8167651b
Size: 499,048 bytes
coq-dbgsym_8.9.1-2_armhf.deb
SHA1: a588ab47164aed9a70841f361c7e930358adf99b
Size: 3,521,024 bytes

Submissions

xfg9zhmt
Submitted
Tue, 17 Dec 2019 13:51:39 +0000
Signed by
0x4AB633F00B2AAAA1 odxu4a (Automatically generated key for signing .buildinfo files)

Environment


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