Checksums for the gzip'd tar files:

00714    49 license.ps.gz
32381  9819 pvs-aix-2.2.tgz
29605   842 pvs-doc-2.2.tgz
60747   518 pvs-ilisp18.tgz
48979  4882 pvs-libraries-2.2.tgz
34020  7172 pvs-linux-2.2.tgz
53428  7640 pvs-solaris-2.2.tgz
60732 19029 pvs-solaris-2.2-sun4d.tgz
38761  8716 pvs-sunos-2.2.tgz
62912   496 pvs-system-2.2.tgz

Dave Stringer-Calvert,
dave_sc@csl.sri.com