coq_8.20.1+dfsg-1_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.20.1+dfsg-1_amd64.deb)

SHA1: 4c9122dc1cfae41a98c5a6139dd04e09995f1761
SHA256: 9859153b803c303e747d1835f12a5e85fc5db425cef6ef6ee13d66634bc22b62

Size: 70,227,920 bytes

coq-dbgsym (coq-dbgsym_8.20.1+dfsg-1_amd64.deb)

SHA1: 89ca089efd938be9238fb991c6f4457869198fb9
SHA256: 6d9c3439f8e92ddf23242b3030a34794844fc39ad3af3b9cc1e587b209c96274

Size: 9,092,180 bytes

coqide (coqide_8.20.1+dfsg-1_amd64.deb)

SHA1: 0d43bce309007bc778c9729dbdd07042cd4bb60e
SHA256: 5c8e996619339dcdeb6a8765085ff4e1302aeee6cd1d7279c84d91effc83b9ff

Size: 1,928,004 bytes

coqide-dbgsym (coqide-dbgsym_8.20.1+dfsg-1_amd64.deb)

SHA1: 59f67fbcefba8c1a90285722dc0bc58c8780e262
SHA256: 49a18b28abfb18bc37c34c022792988072949864416e2f842e430238a72d8707

Size: 640,544 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb)

SHA1: fee2e767bfe4b2a343da1d1f635334e48c7b4595
SHA256: 0d7496413f7794e9c539efa8abf1e708dcddf8de7b45e993275c7e591c4e326d

Size: 25,953,700 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1_amd64.deb)

SHA1: 6b6c051db28f7199e2279373b017c8a46aca7216
SHA256: 1394d430db13b9713b746abc3910d921ecbe947de48af18f72f48226648dd639

Size: 2,516,920 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb)

SHA1: 534a572ce3c14a7bb71fd0df5876621240fbe259
SHA256: faf8561c97f6432734889085c7c9b2d377a85daea0b1710c39786490a9954c67

Size: 68,702,768 bytes

libcoq-stdlib (libcoq-stdlib_8.20.1+dfsg-1_amd64.deb)

SHA1: 373713755b6f9edc453e4faf9a5cae22c91b4611
SHA256: 88730d14456a380717c10360e0cd2fc7d2e2aed6e1e9869dc38392e2d6568bed

Size: 23,527,404 bytes

coq_8.20.1+dfsg-1_amd64.buildinfo (view)