=> Bootstrap dependency digest>=20010302: found digest-20160304
===> Skipping vulnerability checks.
WARNING: No /var/db/pkg/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'.
=> Fetching coq-8.7.1.tar.gz
=> Total size: 5671130 bytes
ftp: Error retrieving file `404 Not Found'
fetch: Unable to fetch expected file coq-8.7.1.tar.gz
=> Checksum SHA1 OK for coq-8.7.1.tar.gz
=> Checksum RMD160 OK for coq-8.7.1.tar.gz
=> Checksum SHA512 OK for coq-8.7.1.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100 5538k    0     0  100 5538k      0  33.8M --:--:-- --:--:-- --:--:-- 34.4M
=> Checksum SHA1 OK for coq-8.7.1.tar.gz
=> Checksum RMD160 OK for coq-8.7.1.tar.gz
=> Checksum SHA512 OK for coq-8.7.1.tar.gz