DIST coq-8.17.1.tar.gz 7506035 BLAKE2B 29b5b11666185ec293f50264f5a8ad66433c3ce05d74128b524f6fc3c6810551fe76d11d6f9db7d3741b829ac8bacb66948aad522d0cd2c487692c3df8b563ff SHA512 9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b
DIST coq-8.19.2.tar.gz 7678311 BLAKE2B 5f9617fbe0127b0c8357c63f331ba3e9fb5a931be9a4a8e8de2e27820a0d986bf99ed9a512740a0f721c742504225ae56e240af893510aa0e449931499d10aab SHA512 91bc81530fa4f6498961583ad51eac5001f139881788b88e360a866ad8e2a6e2c5bce86d1a580ab4cd4782bf49d48318767df82471ce33ba3ac143e5569ad33c
DIST coq-8.20.0.tar.gz 7839432 BLAKE2B 9b489db0cc6874b0a629f3bdb4b503201005ec95a3375441538cd7e51d371a39561b9d0ab23ac485652782fdc7ae8d90c97ca1ff4d9a85fb8727a39ed4a6f48c SHA512 1a7eac6e2f58724a3f9d68bbb321e4cfe963ba1a5551b9b011db4b3f559c79be433d810ff262593d753770ee41ea68fbd6a60daa1e2319ea00dff64c8851d70b
DIST coq-9.1.0.tar.gz 6394996 BLAKE2B 3dc0cc1584f3c042324ec85eb4b5afd236a9f8391b059d6fc163dea846496bade7e7d2894795d348d44882409d30cb70a7120b47c0b3a1a7e1dc18c048a6f30e SHA512 83b5d01e24089e6a377948d811a3fa81d0b17466c18e6011059c9d1bca47624b210c07f590236466711080a2ad2feb55b7b7fd57bb8798a08b11ba729c820d97
DIST coq-9.1.1.tar.gz 6395021 BLAKE2B 392ea63d6dfbc1404a04fe37fcb26f21321c50bdccf8d626b490d490607ec6c6344a1b0a81d87805ef2b3ded54ab2af6cb4289ea2d8153afe6e79ae8d9125ba6 SHA512 18ef7eff168711ad739a6ced49ae3eda1a3ecbc50a0708488ff66e16be44b5208b3db52e9de9b1eff06a977a6ed9d9e2c46d510c98f497d124e6b5cc7c612497
DIST coq-9.2.0.tar.gz 6559931 BLAKE2B d1fde7072389e8aa42b2ddd1509def0e278a61ba7f69fe2196ecccce25247de8d7538b7750f8cda1ab106478c0197e09e6a8613333ecd3fa2f0d9af49ef9d99e SHA512 bbd768533159920ee0e67c83889f8e50e696631e4fa3869c8fb3b61779e86b0bfe7431dc5062b3c53190d103eab49e519587b73d20d473370d8f1d6853f9d9cd