=> 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 z3-4.5.0.tar.gz => Total size: 3573695 bytes ftp: Error retrieving file `404 Not Found' fetch: Unable to fetch expected file z3-4.5.0.tar.gz ftp: Error retrieving file `404 Not Found' fetch: Unable to fetch expected file z3-4.5.0.tar.gz ftp: Error retrieving file `404 Not Found' fetch: Unable to fetch expected file z3-4.5.0.tar.gz => Checksum SHA1 OK for z3-4.5.0.tar.gz => Checksum RMD160 OK for z3-4.5.0.tar.gz => Checksum SHA512 OK for z3-4.5.0.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 4 3490k 100 193 4 144k 3271 2440k 0:00:01 --:--:-- 0:00:01 2443k 500 Internal Server Error

500 Internal Server Error

nginx/1.11.4 => Checksum SHA1 OK for z3-4.5.0.tar.gz => Checksum RMD160 OK for z3-4.5.0.tar.gz => Checksum SHA512 OK for z3-4.5.0.tar.gz