coq_8.12.0-2_armel.buildinfo (view)

Source
coq
Version
8.12.0-2
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sun, 6 Sep 2020 19:20:09 +0000
Build-Path
/build/coq-JwdSbc/coq-8.12.0

First submitted
Mon, 7 Sep 2020 00:11:53 +0000
SHA1 of .buildinfo
2485296d24cdfbb27d8fd7f3aec6aa82cf77a78e

Binaries

coq (coq_8.12.0-2_armel.deb)
SHA1: e33d691a46fea6e4550dea6abd5aea465bf2864c
SHA256: 6ae61777d358ae8429cc09a389047f3bfeb4e0dace77b0ea25fd5058eb374c4e

Size: 89,984,920 bytes
coqide (coqide_8.12.0-2_armel.deb)
SHA1: 209e2522c9eb6bc516cb7dd8d8471d661e3abf43
SHA256: 40b59a016f8d1d384771cc4d56fc32b9edc57b08a045b3e56dbed10e28910bf6

Size: 46,468 bytes
coq-theories (coq-theories_8.12.0-2_armel.deb)
SHA1: b622ddf97c927890da13fb25785951f1c8e42a1b
SHA256: 17467d51742c457b4b0027ced0cd35777633c554b86c4a755fb60a0a7303a7bc

Size: 23,918,616 bytes
libcoq-ocaml (libcoq-ocaml_8.12.0-2_armel.deb)
SHA1: 8877bde877392b61a22b7cda251fd37ed7700d0a
SHA256: c3675167241cea705aa5b2ec415ad1efaaaf91533ad843974dcc4211236c196c

Size: 4,593,388 bytes
libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-2_armel.deb)
SHA1: 0ab1ec682754ff8619bcddef310ccee01af7f6cc
SHA256: c5ebafa16e16dadbbdd11a0e62e81a6bec891ad10127cd286c6754df7aeeb79c

Size: 35,728 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-2_armel.deb)
SHA1: 4589a6bb50b61bdec99124118d618c6418866d40
SHA256: ad1d50521a493389dbec0112c7b49827d52c08cb6cba6bf97c30ecbf6d7d8a7b

Size: 9,704,288 bytes

Other checksums

Submissions

da9avxuu
Submitted
Mon, 7 Sep 2020 00:11:53 +0000
Signed by
0xFF62288F5B1177CE

Environment


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