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 10:59:50 +0000
Build-Path
/build/1st/coq-8.9.0

First submitted
Thu, 20 Jun 2019 14:40:22 +0000
SHA1 of .buildinfo
283e2bab2c8152a89561ef2f9a3a550f8f7ba5bf

Binaries

coq (coq_8.9.0-1_armhf.deb)
SHA1: 0bf26a25acb6d4f93484cb1a1f8757ed06fe1945
SHA256: a765229cbd114674025b140f3c578d4d3fea505291b52a0286a1a4fea99ecdd2

Size: 57,325,972 bytes
coq-theories (coq-theories_8.9.0-1_armhf.deb)
SHA1: 77664ab24eabaa28e80e84b67f7498c76a9a43e7
SHA256: cb4764295bf701a9ef283a0938114fa41e750d175e2ba00d1a5e88f132a18183

Size: 20,351,080 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_armhf.deb)
SHA1: 0262a2257e8b3b29ad932e5314d591fc4e4123d2
SHA256: e10b346c1b951e0dfcc6cc4f2d4595b6173d963af49fd5bc37fc3c5b530f5a7a

Size: 5,381,224 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_armhf.deb)
SHA1: b4f524c3c54584e8783820d74f3a088ed999f509
SHA256: cd324d4043aa5c12ef84b395aed4169b425465299a6db2fe2feb3eab63d6cc50

Size: 14,377,740 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_armhf.deb
SHA1: 18e8e4d27037bbbad5ab261273b4595445fc8a9c
Size: 476,788 bytes
coq-dbgsym_8.9.0-1_armhf.deb
SHA1: 9e36739205d2661ba70fd0e3af52eabeb14dc65f
Size: 3,222,020 bytes

Submissions

rirj7e9q
Submitted
Thu, 20 Jun 2019 14:40:22 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (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"