=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Fetching coq-8.20.1.tar.gz
=> Total size: 7842928 bytes
FFFFFFFF:error:0A000086:SSL routines:tls_post_process_server_certificate:certificate verify failed:/usr/src/crypto/external/bsd/openssl/dist/ssl/statem/statem_clnt.c:1889:
ftp: Can't connect to `github.com:https'
fetch: Unable to fetch expected file coq-8.20.1.tar.gz
FFFFFFFF:error:0A000086:SSL routines:tls_post_process_server_certificate:certificate verify failed:/usr/src/crypto/external/bsd/openssl/dist/ssl/statem/statem_clnt.c:1889:
ftp: Can't connect to `cdn.NetBSD.org:https'
fetch: Unable to fetch expected file coq-8.20.1.tar.gz
=> Checksum BLAKE2s OK for coq-8.20.1.tar.gz
=> Checksum SHA512 OK for coq-8.20.1.tar.gz
=> Checksum BLAKE2s OK for coq-8.20.1.tar.gz
=> Checksum SHA512 OK for coq-8.20.1.tar.gz