=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Fetching cvc5-1.3.4.tar.gz
=> Total size: 9271118 bytes
ftp: Can't connect to `20.27.177.113:443': No route to host
ftp: Can't connect to `github.com:https'
fetch: Unable to fetch expected file cvc5-1.3.4.tar.gz
ftp: Can't LOOKUP `cdn.NetBSD.org:https': Temporary failure in name resolution
ftp: Can't connect to `cdn.NetBSD.org:https'
fetch: Unable to fetch expected file cvc5-1.3.4.tar.gz
ftp: Can't connect to `132.227.74.11:80': No route to host
ftp: Can't connect to `ftp.fr.NetBSD.org:http'
fetch: Unable to fetch expected file cvc5-1.3.4.tar.gz
=> Checksum BLAKE2s OK for cvc5-1.3.4.tar.gz
=> Checksum SHA512 OK for cvc5-1.3.4.tar.gz
=> Checksum BLAKE2s OK for cvc5-1.3.4.tar.gz
=> Checksum SHA512 OK for cvc5-1.3.4.tar.gz