=> 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 frama-c-Phosphorus-20170501.tar.gz
=> Total size: 7431131 bytes
ftp: Error retrieving file `404 Not Found'
fetch: Unable to fetch expected file frama-c-Phosphorus-20170501.tar.gz
=> Checksum SHA1 OK for frama-c-Phosphorus-20170501.tar.gz
=> Checksum RMD160 OK for frama-c-Phosphorus-20170501.tar.gz
=> Checksum SHA512 OK for frama-c-Phosphorus-20170501.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
 10 7256k    0     0   10  736k      0  14.7M --:--:-- --:--:-- --:--:-- 15.6M
100 7256k    0     0  100 7256k      0  42.1M --:--:-- --:--:-- --:--:-- 42.6M
=> Checksum SHA1 OK for frama-c-Phosphorus-20170501.tar.gz
=> Checksum RMD160 OK for frama-c-Phosphorus-20170501.tar.gz
=> Checksum SHA512 OK for frama-c-Phosphorus-20170501.tar.gz