Module Name:	pkgsrc
Committed By:	jschauma
Date:		Tue Sep 24 17:57:27 UTC 2002

Update of /cvsroot/pkgsrc/devel/pvs
In directory minbar.netbsd.org:/tmp/cvs-serv25187

Log Message:
Initial import of devel/pvs into pkgsrc:

PVS is a verification system: that is, a specification language integrated
with support tools and a theorem prover. It is intended to capture the
state-of-the-art in mechanized formal methods and to be sufficiently rugged
that it can be used for significant applications.
For more details, please see http://pvs.csl.sri.com/ and
http://pvs.csl.sri.com/overview.html

This package was tested on NetBSD-1.6-i386 and Linux-i386, it might work
(but might need some modification) on NetBSD-1.6-sparc and SunOS as well.

For i386, NetBSD 1.6 is required -- on 1.5.x versions, it will (seemingly)
install fine but not work correctly in various instances.


Vendor Tag:	TNF
Release Tags:	pkgsrc
		
N pkgsrc/devel/pvs/DESCR
N pkgsrc/devel/pvs/Makefile
N pkgsrc/devel/pvs/PLIST
N pkgsrc/devel/pvs/distinfo
N pkgsrc/devel/pvs/patches/patch-aa
N pkgsrc/devel/pvs/files/MESSAGE

No conflicts created by this import