=> Checksum BLAKE2s OK for coq-8.20.1.tar.gz
=> Checksum SHA512 OK for coq-8.20.1.tar.gz