coq_8.12.0-1_armhf.buildinfo — buildinfo.debian.net

coq (coq_8.12.0-1_armhf.deb)

SHA1: f7c255a4e91a92169b0cdca8eaf300576e7caa19
SHA256: b4cbf2e009e4983e5f536d4bf6aaf5223666d9a9a013c6970c1ca47e232cb871

Size: 75,736,372 bytes

coq-dbgsym (coq-dbgsym_8.12.0-1_armhf.deb)

SHA1: e0bda2d5fe40a0e0a606b5c3d25c38d15d1beaa6
SHA256: d6858ea729b3660c2481dd86097b617aa4fd43a8d36fb84e9a6c6d90a5c64c8c

Size: 6,327,676 bytes

coqide (coqide_8.12.0-1_armhf.deb)

SHA1: 4630248459f8e443b6e9e5f82189316f638e5608
SHA256: 003fa93353717d1bd8e83c3f2277642c108478391b6a8c8efc87534179f12e7a

Size: 1,576,476 bytes

coqide-dbgsym (coqide-dbgsym_8.12.0-1_armhf.deb)

SHA1: 98917aeb1ff691d8ad7c7b60a05744ccb89f07ec
SHA256: 5b807d94db9a911b4727d6bfb86fe4e3eca2fac3e9d9bdfb30bfd423fcd94006

Size: 472,876 bytes

coq-theories (coq-theories_8.12.0-1_armhf.deb)

SHA1: ee6a17f4078e899634899c1a20a01e36d7ecc426
SHA256: cd621db69d2542b7b3dc28faea2f3edcfbd906a0a32596b4d7f5a6e4873de406

Size: 23,918,584 bytes

libcoq-ocaml (libcoq-ocaml_8.12.0-1_armhf.deb)

SHA1: e29d1ac20f11fe5344c7582bc6e50ebac8ffc169
SHA256: 159b6b6a599d68a8eb8d54b64aa36fd011f4e06cebae5a393241cdfc9532dee1

Size: 6,691,108 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-1_armhf.deb)

SHA1: 675589799545f78638f14e93f918ceadece93c34
SHA256: a7ce1d2c06043f9fe2ab3cb3444857a0b5e3cfdb9ee888e327ddc6efdf7e6778

Size: 584,248 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-1_armhf.deb)

SHA1: 077b20b05722c18aa480598780aab609dccc8776
SHA256: 516fe86d175e4a8f723f645c1a67588196585e8fc378048b264cb92ffe446db7

Size: 17,270,556 bytes

coq_8.12.0-1_armhf.buildinfo (view)