Twin directories of pvs:

[DIR]  ftp://ftp.uni-hannover.de/pub/mirror/bsd/NetBSD/packages/current-src/pkgsrc/devel/pvs/
[DIR]  ftp://ftp.uni-hannover.de/pub/mirror/bsd/NetBSD/misc/grant/pkgstat/20040711.1811/devel/pvs/
[DIR]  ftp://ftp.uni-hannover.de/pub/mirror/bsd/NetBSD/misc/grant/pkgstat/20040716.0710/devel/pvs/
[DIR]  ftp://ftp.uni-hannover.de/pub/mirror/bsd/NetBSD/misc/grant/pkgstat/20040121/devel/pvs/
[DIR]  ftp://ftp.uni-hannover.de/pub/mirror/bsd/NetBSD/misc/grant/pkgstat/20040131/devel/pvs/
[DIR]  ftp://ftp.cs.york.ac.uk/.snapshot/weekly.2/pub/pvs/
[DIR]  ftp://ftp.cs.york.ac.uk/.snapshot/weekly.0/pub/pvs/
[DIR]  ftp://ftp.cs.york.ac.uk/.snapshot/weekly.3/pub/pvs/
[DIR]  ftp://ftp.cs.york.ac.uk/pub/pvs/
[DIR]  ftp://ftp.lip6.fr/pub/pvs/
[DIR]  ftp://ftp.free.fr/.mirrors1/ftp.netbsd.org/packages/current-src/pkgsrc/devel/pvs/
[DIR]  ftp://ftp.csl.sri.com/pub/pvs/
[DIR]  ftp://ftp.cs.pitt.edu/hoffman/pvs/
[DIR]  ftp://ftp.lug.udel.edu/pub/netbsd/misc/grant/pkgstat/20040121/devel/pvs/
[DIR]  ftp://ftp.lug.udel.edu/pub/netbsd/misc/grant/pkgstat/20040131/devel/pvs/
[DIR]  ftp://ftp.lug.udel.edu/pub/netbsd/misc/grant/pkgstat/20040711.1811/devel/pvs/
[DIR]  ftp://ftp.berlios.de/pub/pvs/
[DIR]  ftp://ftp.udc.es/mirror/netbsd/packages/current-src/pkgsrc/devel/pvs/
[DIR]  ftp://ftp.udc.es/mirror/netbsd/misc/grant/pkgstat/20040121/devel/pvs/
[DIR]  ftp://ftp.udc.es/mirror/netbsd/misc/grant/pkgstat/20040131/devel/pvs/
[DIR]  ftp://ftp.udc.es/mirror/netbsd/misc/grant/pkgstat/20040711.1811/devel/pvs/
[DIR]  ftp://ftp.udc.es/mirror/netbsd/misc/grant/pkgstat/20040716.0710/devel/pvs/
[DIR]  ftp://ftp.e-technik.fh-muenchen.de/local/LSE/files/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/pkgsrc/reports/SunOS/i386/5.11_head-20080617_sunpro/devel/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/pkgsrc/reports/SunOS/i386/5.11_head-20080610/devel/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/pkgsrc/misc/schmonz/pkgstat/Darwin-i386/20070608.1551/devel/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/pkgsrc/misc/schmonz/pkgstat/Darwin-i386/20070614.0826/devel/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/pkgsrc/misc/schmonz/pkgstat/Darwin-i386/20070619.1311/devel/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/pkgsrc/misc/kristerw/pkgstat/Darwin-powerpc/20070807.0617/devel/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/pkgsrc/misc/grant/pkgstat/20050804/devel/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/pkgsrc/misc/grant/pkgstat/20050811/devel/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/pkgsrc/misc/grant/pkgstat/20050720/devel/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/NetBSD/misc/grant/pkgstat/20040131/devel/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/NetBSD/misc/grant/pkgstat/20040711.1811/devel/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/NetBSD/misc/grant/pkgstat/20040716.0710/devel/pvs/
[DIR]  ftp://ftp.estpak.ee/pub/NetBSD/misc/grant/pkgstat/20040121/devel/pvs/
[DIR]  ftp://ftp.ki.nu/pub/NetBSD/pkgstat/macppc/20050521.1422/devel/pvs/
[DIR]  ftp://ftp.ki.nu/pub/NetBSD/pkgstat/macppc/20050224.1859/devel/pvs/
[DIR]  ftp://ftp.ki.nu/pub/NetBSD/pkgstat/Darwin/20050321.1243/devel/pvs/
[DIR]  ftp://ftp.ki.nu/pub/NetBSD/pkgstat/Darwin/20050511.2311/devel/pvs/
[DIR]  ftp://ftp.ki.nu/pub/NetBSD/pkgstat/Darwin/20050302.1727/devel/pvs/
[DIR]  ftp://ftp.ki.nu/pub/NetBSD/pkgstat/macppc/20050212.1606/devel/pvs/
[DIR]  ftp://ftp.esat.net/mirrors/.3/ftp.netbsd.org/pub/NetBSD/packages/current-src/pkgsrc/devel/pvs/
[DIR]  ftp://ftp.esat.net/mirrors/.3/ftp.netbsd.org/pub/NetBSD/misc/grant/pkgstat/20040716.0710/devel/pvs/
[DIR]  ftp://ftp.esat.net/mirrors/.3/ftp.netbsd.org/pub/NetBSD/misc/grant/pkgstat/20040121/devel/pvs/
[DIR]  ftp://ftp.esat.net/mirrors/.3/ftp.netbsd.org/pub/NetBSD/misc/grant/pkgstat/20040131/devel/pvs/
[DIR]  ftp://ftp.esat.net/mirrors/.3/ftp.netbsd.org/pub/NetBSD/misc/grant/pkgstat/20040711.1811/devel/pvs/
[DIR]  ftp://ftp.mtu.ru/.4/NetBSD/misc/grant/pkgstat/20040716.0710/devel/pvs/
[DIR]  ftp://ftp.mtu.ru/.4/NetBSD/misc/grant/pkgstat/20040121/devel/pvs/
[DIR]  ftp://ftp.mtu.ru/.4/NetBSD/misc/grant/pkgstat/20040131/devel/pvs/