coq_8.19.1+dfsg-3_arm64.buildinfo — buildinfo.debian.net

coq (coq_8.19.1+dfsg-3_arm64.deb)

SHA1: c5ebd3e972712ddc684d76e16d37696d4404f018
SHA256: 32319797d9dffcfcabdf7940ebbe212145290c4a624b4235eaa126d64c8a2d95

Size: 91,758,052 bytes

coq-dbgsym (coq-dbgsym_8.19.1+dfsg-3_arm64.deb)

SHA1: 950d82f5e2237913a7f2a1c4cbe1315b75e2f28e
SHA256: 1f881cc0fef180915858c09a25a5ab39911c03b8d5de810a9bc025032ae3ebb9

Size: 10,284,628 bytes

coqide (coqide_8.19.1+dfsg-3_arm64.deb)

SHA1: b1ebaab221c3588e824f8285afc746fd1cacc14a
SHA256: 557911a7311a28a0ab4cb1187308202874297f6ce455cc5285bd2adccec7596f

Size: 2,465,564 bytes

coqide-dbgsym (coqide-dbgsym_8.19.1+dfsg-3_arm64.deb)

SHA1: 3ccd3ffdfcd3d9a3821da31d56724bc0ae26334b
SHA256: c63063e8354fd286553b4fa7a9790e6be4c8a84b0ce22cdb5819e19661ce961b

Size: 770,732 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.19.1+dfsg-3_arm64.deb)

SHA1: 913ce86b18dd2a257d4157261da9aeb96864aed5
SHA256: 34481172e99237cce3c2649999d62e545caeb07eae94a131a4dec66a583abcd4

Size: 25,470,572 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_arm64.deb)

SHA1: b730e1e8af9583a67d8bd64fc00e496f4ff2fc36
SHA256: 74139c96265ddfe078a5d11784f1a600d4ee9a344ebb12c4df77fac28c09631d

Size: 2,284,760 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.19.1+dfsg-3_arm64.deb)

SHA1: 1a62a491d1be46b4f827ab4e4f1a3ad2705decbc
SHA256: 3ab3488bed90011261f81b440392974b072635bd8404577b2b94fee4055e4053

Size: 67,059,148 bytes

libcoq-stdlib (libcoq-stdlib_8.19.1+dfsg-3_arm64.deb)

SHA1: 60cb4d7b0de090c40bf2419d3ab8731f5b19e2b2
SHA256: 42b401838f9d89ab3342e0d985356f4bae9049ef599d2bf4088d8ff9cf2c31ea

Size: 23,655,580 bytes

coq_8.19.1+dfsg-3_arm64.buildinfo (view)