=> 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-Oxygen-20120901.tar.gz
=> Total size: 10815011 bytes
=> Checksum SHA1 OK for frama-c-Oxygen-20120901.tar.gz
=> Checksum RMD160 OK for frama-c-Oxygen-20120901.tar.gz
=> Checksum SHA512 OK for frama-c-Oxygen-20120901.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
0 10.3M 100 192 0 81920 12125 5052k 0:00:02 --:--:-- 0:00:02 8888k
500 Internal Server Error
500 Internal Server Error
nginx/1.8.1
=> Checksum SHA1 OK for frama-c-Oxygen-20120901.tar.gz
=> Checksum RMD160 OK for frama-c-Oxygen-20120901.tar.gz
=> Checksum SHA512 OK for frama-c-Oxygen-20120901.tar.gz