SHA256 (coq-8.20.1.tar.gz) = Ca0jjMeTDVlWSwMr4qih/RDW74RTZNc5By0ECQptPMI=
SIZE (coq-8.20.1.tar.gz) = 7842928
