SHA256 (coq-8.10beta3.tar.gz) = bg4NOETRztaP1HlgLSQ5QBLSLEfSrbTJoBtNCGoYAxg=
SIZE (coq-8.10beta3.tar.gz) = 6220619
