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.0.0.tar.gz 6305764 BLAKE2B 01e84c75f55f1dc6ff7706bc3e9454da268bcee88b0123334644aefcfa102b349d5196d0b215d6acae65e5066d187e17d74d6768d3790c78f1534972cebf06fb SHA512 f4f76a6a178e421c99ee7a331a2fd97a06e9c5d0168d7e60c44e3820d8e1a124370ea104ad90c7f87a9a1e9d87b2d0d7d2d387c998feeaed4a75ed04e176a4be
DIST coq-9.1.0.tar.gz 6394996 BLAKE2B 3dc0cc1584f3c042324ec85eb4b5afd236a9f8391b059d6fc163dea846496bade7e7d2894795d348d44882409d30cb70a7120b47c0b3a1a7e1dc18c048a6f30e SHA512 83b5d01e24089e6a377948d811a3fa81d0b17466c18e6011059c9d1bca47624b210c07f590236466711080a2ad2feb55b7b7fd57bb8798a08b11ba729c820d97
EBUILD coq-8.17.1-r1.ebuild 2523 BLAKE2B 119513b737dc07a0c7125e9b75fbf5b9bd9946fff86dc01aa61bb8724e29e3dd876e5579077ea011867b7406fea246a4f2947e752ccca720abc28dfff8036c31 SHA512 e02c45e16a939620c0e1cf2f50a9e0ee9ecc70bf229f0f414959cbf9e7754398e719426f8e7591bbb8007ae2d5355c1324fd758956256bb8a179f1ddba6a8e6d
EBUILD coq-8.19.2-r1.ebuild 2522 BLAKE2B 8065e9c655af6159a73e6a90dbe6632e5343cc40865a645db39c6e75f09fabc27b19930d785c703491180077049fa543abb7080a3b3f42a5b6cac02d824ffbbb SHA512 8b1c91b8b78ef39896685f6b5da503a43317e328d6ad4792fad4747b08673d144626417b1b3fdb52116fdb39abc665fd870dd78479425a1b41b8b122604e7cf6
EBUILD coq-8.20.0-r1.ebuild 2932 BLAKE2B 31675483c551340eaedf15510837a3fa21e72593c21b511ef26f9fd00d44bd0d789aa6998fac8ccf5e7873b50f5e515ccaff0ebcfac3d77fc280f8fc7954fd09 SHA512 439b67d5b24a29bcd364a61dc2165d6a5d74f4c4dbb91ee282fe2d92d50a6b64648b888765af7abc666b7f51cc90ce5ecd48e0fdcb58564f6f12145ed1362fd0
EBUILD coq-9.0.0.ebuild 2736 BLAKE2B ee7882a29c7aaffac20dba03ba6524faee0d805d25d0b299ddb3056d3ee7da41d1d623a5ddcfc8b431080385cac40a9290198d7b99ff5e3c5f4e7c2980f251ec SHA512 935f0930ab0f1f76a57b0437e02c8fb979f0a9e52a1df506dec42e016e359da6b3c5c985a195954ce1e89bf233d6b485835072700020974867b42bb0d42b623d
EBUILD coq-9.1.0-r1.ebuild 2751 BLAKE2B cecce15178a2a01f4e9094e79b754e9031fcf5e41d1e957d9cbecaa8e6bd31544b0b1a3fc600624c74d2c596d7c494436a5b7e36b3ccad9243314eeb4f42cafa SHA512 30351d3e1735b88b6e4a3a4b766f871bf4b1f85375653be098c709ceb8705dd9a1bb378007a94037def1b2b8b49bdcf04c5b13a078f023c7a4808a9a2a99a1d0
MISC metadata.xml 1254 BLAKE2B f256f7e18d6e6f0c5cabd4421ca37db0715cc389f9a4291e05cd7039cf6c4e5ab54e8b053c375212c2c816d76f2b030f38e7df98c9bffec42d883911750091e9 SHA512 3f45edcce1b56e2aeb629fbf9613941277d9ecf9e467c6839652066f2fe208cccc12bd5a760df8adf1a189f5dfb6645bb32b4db0433211874a75ed6b8cbf6440