DIST coq-stdlib-9.0.0.tar.gz 1826759 BLAKE2B de68fa0a1528d1ac9843e3b4b34b4e56beeca80d4f0c35f26a103fdf7dee2ed74395961f490d670720f05d40ebc0851a3e4f18bc6224330fd78c2874ecd273b1 SHA512 97faa80d63a398c2c6872e043d65b1b907bb01ec3ea42f35cf757b3457b8fa2b64475d1577000ce2dea2c3f93e59e36cc5af9864adacf47f92db96ecbe307a45
DIST coq-stdlib-9.1.0.gh.tar.gz 1864333 BLAKE2B e69b7159a56c1ee74577ca34f94dff3198023069e403fd686f4f215ad3db76058c36a657ff26a033bcd732e4993cdefd807fbd5b6963850524aa51cba5e55195 SHA512 5a6c01496917b8f23017d9e94af567be68850155a4545bddb067da83eed97237e34d617345942a708b6a4231e00f9bfc8311cd978bf397bb1ef2ea7c25b1a0a3
EBUILD coq-stdlib-9.0.0-r1.ebuild 752 BLAKE2B 57727c21d9c1b8c8219c2c8149e6e4c4700c151b56b46970c57166af2c671623bac81aca26aa666c55d6834a50219f3325d5721c78e839240e233ed35d436928 SHA512 27e48c4ae933d6f3f8a2822a08682e99c1f539714df68b93f3f16b14844fe8f68aa8fa4f8df94a44643a47eb5bd073a986c643a6d07cd3ca5fa3ecbec3e5a8b2
EBUILD coq-stdlib-9.1.0.ebuild 757 BLAKE2B 0e89a43df6c7c6cbd44edf7a4ba444dc59c5e30f2c1c64fc98c63b48349a1eb15e1c51c4eb0bc446f4ad275774e23e60dc5e01c5ce53f42a7d9ebbf4a9f07498 SHA512 a9b2a174c118183f84a03ae89250186dd506831b35f353eccb78b86c55fd4b886cd424949498cb7c225a9df4afb3b40feed31a3a5773058fdf1baf6001d812f2
MISC metadata.xml 484 BLAKE2B 645d040c150fef7ee0bfc0e9266a79130cd0a688b900bc88de3612b99068fc6ebae22184dca03854053b2a9d1c7b404f631c3ea7803666fbba3d0e83460437d2 SHA512 3ad942a43b338d0ed6c714377ab37241a6774e96fbb59a76a1892bbda31b6cc007dd4a795791ae76489a44f02e2ff25be9fb1b921df0e68e32c090b32f758d3a