MD5 75ab1eb131b3469d21ab74377826b32b coq-8.0.tar.gz 2281827
MD5 e2e4ecc8a552c847a656dcf9e47dd738 coq-8.0-translator.tar.gz 233218