SHA256 (coq-8.12.0.tar.gz) = 7N4UxhMvWrtFnn9HJHiHiJKBdK1EhP/4joawCGd5vO4=
SIZE (coq-8.12.0.tar.gz) = 6774001
