Fetching coq-8.15.2.tar.gz
Downloaded 6.89 MiB in 1 second (9.69 MiB/s)
=> Checksum BLAKE2s OK for coq-8.15.2.tar.gz
=> Checksum SHA512 OK for coq-8.15.2.tar.gz