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