Fetching coq-8.20.1.tar.gz
Downloaded 7.48 MiB in 1 second (6.20 MiB/s)
=> Checksum BLAKE2s OK for coq-8.20.1.tar.gz
=> Checksum SHA512 OK for coq-8.20.1.tar.gz