=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Fetching coq-8.20.1.tar.gz
=> Total size: 7842928 bytes
fetch: Size of the file coq-8.20.1.tar.gz.13548.part doesn't match.
=> Checksum BLAKE2s OK for coq-8.20.1.tar.gz
=> Checksum SHA512 OK for coq-8.20.1.tar.gz