=> Bootstrap dependency digest>=20010302: found digest-20190127
=> Fetching pvs-3.2-libraries.tgz
=> Total size: 3719266 bytes
ftp: Error retrieving file `404 Not Found'
fetch: Unable to fetch expected file pvs-3.2-libraries.tgz
ftp: Can't lookup `ftp.csl.sri.com:ftp': hostname nor servname provided, or not known
ftp: Can't connect or login to host `ftp.csl.sri.com:ftp'
fetch: Unable to fetch expected file pvs-3.2-libraries.tgz
=> Fetching pvs-3.2-solaris.tgz
=> Total size: 13074938 bytes
ftp: Error retrieving file `404 Not Found'
fetch: Unable to fetch expected file pvs-3.2-solaris.tgz
ftp: Can't lookup `ftp.csl.sri.com:ftp': hostname nor servname provided, or not known
ftp: Can't connect or login to host `ftp.csl.sri.com:ftp'
fetch: Unable to fetch expected file pvs-3.2-solaris.tgz
=> Fetching pvs-3.2-system.tgz
=> Total size: 1463623 bytes
ftp: Error retrieving file `404 Not Found'
fetch: Unable to fetch expected file pvs-3.2-system.tgz
ftp: Can't lookup `ftp.csl.sri.com:ftp': hostname nor servname provided, or not known
ftp: Can't connect or login to host `ftp.csl.sri.com:ftp'
fetch: Unable to fetch expected file pvs-3.2-system.tgz
=> Checksum SHA1 OK for pvs-3.2-libraries.tgz
=> Checksum RMD160 OK for pvs-3.2-libraries.tgz
=> Checksum SHA512 OK for pvs-3.2-libraries.tgz
=> Checksum SHA1 OK for pvs-3.2-solaris.tgz
=> Checksum RMD160 OK for pvs-3.2-solaris.tgz
=> Checksum SHA512 OK for pvs-3.2-solaris.tgz
=> Checksum SHA1 OK for pvs-3.2-system.tgz
=> Checksum RMD160 OK for pvs-3.2-system.tgz
=> Checksum SHA512 OK for pvs-3.2-system.tgz