coq_8.16.1+dfsg-1_armhf.buildinfo — buildinfo.debian.net

coq (coq_8.16.1+dfsg-1_armhf.deb)

SHA1: 7b6d68d810bed995a6bef509f92c03cf3a8cdd01
SHA256: 0f4c711954f080acd112ef6535d02a10c9e298af631f861eba02e136bae6a291

Size: 89,862,984 bytes

coq-dbgsym (coq-dbgsym_8.16.1+dfsg-1_armhf.deb)

SHA1: c3cab04bc9629c0f60f1ebf8048da0e688954895
SHA256: b665820373253afc5427828f202c12996dae8d63a9c0a584044cbd2880dd719c

Size: 12,369,180 bytes

coqide (coqide_8.16.1+dfsg-1_armhf.deb)

SHA1: 292582465591b815b3646bef7d4bdd4291b60d86
SHA256: 9aa630c8056510687147c8375655e7372d5aaeb3c2ef401ae38cee998f70f8d0

Size: 1,835,288 bytes

coqide-dbgsym (coqide-dbgsym_8.16.1+dfsg-1_armhf.deb)

SHA1: c97a90dbe7e5c840e0c8e613b07dd2464b1c5c08
SHA256: 96f397178f754b5eea27506a50c03daf888b131d7533bdfd74d81daeb791841d

Size: 653,524 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.16.1+dfsg-1_armhf.deb)

SHA1: 562228e55563b5f3e0c2dd45e46b117dad528b2f
SHA256: 513ea5b7d35b6a7ec35f30003d5333b955e786a9e86a620b7c6d4e3c2f1b59eb

Size: 22,260,884 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.16.1+dfsg-1_armhf.deb)

SHA1: 5a78e76cd66067768b507db2c1d2e6e1af221c5a
SHA256: 738e98d612786de547be705d1d4dd7ec94a8bc10ba8279b02187ab5b8b673031

Size: 1,810,672 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.16.1+dfsg-1_armhf.deb)

SHA1: ba79f8a318ca40811bd6f695bb72e723b6a9ca51
SHA256: fe99ef3ac6484e5888cc0dd1394d33b78d1427c8f544cef029b354b54f572838

Size: 43,112,316 bytes

libcoq-stdlib (libcoq-stdlib_8.16.1+dfsg-1_armhf.deb)

SHA1: 3665687c3744c366eaa92b65ee02a58705c794b2
SHA256: d6bd4d47c7002d55eb5ad4415c3f57b50c823b666b4b367dcb80c8d76489b1e1

Size: 21,526,192 bytes

coq_8.16.1+dfsg-1_armhf.buildinfo (view)