coq (8.12.0-3)_8.12.0-3+b1_armel.buildinfo (view)

Source
coq (8.12.0-3)
Version
8.12.0-3+b1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Fri, 2 Oct 2020 14:52:37 +0000
Build-Path
/build/coq-xBSIcQ/coq-8.12.0

First submitted
Fri, 2 Oct 2020 18:11:41 +0000
SHA1 of .buildinfo
60c14c100ed1027c10b3556cef1596b0782ef37d

Binaries

coq (coq_8.12.0-3+b1_armel.deb)
SHA1: d86bd92afee022a322de3ba33d81783277469120
SHA256: 40673f09737db540ec683a565fe766d275b900f41b0244c51813c6bbe8146b82

Size: 89,983,740 bytes
coqide (coqide_8.12.0-3+b1_armel.deb)
SHA1: 3af446e85d7b262a61309a20c676cb62e256c0cf
SHA256: f2f2cc0108acde9e8400d00e618f0115c9c96fafd01523c08c4b1d81765234c1

Size: 46,752 bytes
coq-theories (coq-theories_8.12.0-3+b1_armel.deb)
SHA1: b3ea66f1401972f6298289bac0196b4e08952b20
SHA256: beda318907a439cc8b8c074734b8bce77fd1e9ea6f185980ca3b5507292f412a

Size: 23,909,576 bytes
libcoq-ocaml (libcoq-ocaml_8.12.0-3+b1_armel.deb)
SHA1: 39423a0b0aa44b47e517ff3a684b50f5f52efc60
SHA256: 9350fa40b4e871519c78006a25920eb7d476a344a709a592072a53c0a937c482

Size: 4,592,728 bytes
libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-3+b1_armel.deb)
SHA1: d067c9bc293c04773ec8d2cb5a399611abf05835
SHA256: d23aa1540c069d56c62fe984e1898229017b088a6c32502998d0807a1a039b8a

Size: 35,720 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-3+b1_armel.deb)
SHA1: 2bb85736283c0dc2bb136b35ed97fdae47f43f0d
SHA256: 0395efc8fd6a07e58fde932cf7dbc1a44402eafaa1a716360a5fcc28e7058354

Size: 9,704,472 bytes

Other checksums

Submissions

noc3wdcw
Submitted
Fri, 2 Oct 2020 18:11:42 +0000
Signed by
0x71728D427DD87F65

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1601638990"