pkgsrc - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2004-12-31	This package depends on x11/tk because it installs a wish script; use	minskim	1	-3/+3
	DEPENDS instead of buildlinking tk. Also relax the tk requirement so that it can be used with Tk-8.4. Bump PKGREVISION due to the dependency change.
2004-10-01	there will not be a NetBSD-1.[7-9] but will be a NetBSD-[2-9].*	grant	1	-2/+2
	adjust patterns used in ONLY_FOR_PLATFORM/NOT_FOR_PLATFORM to reflect this.
2004-05-09	Convert to buildlink3.	snj	1	-3/+3

2004-03-26	PKGREVISION bump after openssl-security-fix-update to 0.9.6m.	wiz	1	-1/+2
	Buildlink files: RECOMMENDED version changed to current version.
2004-03-22	Let ONLY_FOR_PLATFORM recognize NetBSD 2.0 and future versions.	kristerw	1	-2/+2

2004-03-08	Enable tk84 and replace x11/tk with x11/tk83. Packages compatible	minskim	1	-2/+2
	with 8.4 will be updated to depend on x11/tk after Tk update.
2004-02-16	Remove info files entries from PLIST.	seb	1	-2/+1

2004-01-20	Move WRKSRC definition away from the first paragraph in a Makefile.	agc	1	-2/+2

2003-08-09	USE_NEW_TEXINFO is unnecessary now.	seb	1	-2/+1

2003-07-17	s/netbsd.org/NetBSD.org/	grant	1	-2/+2

2003-06-25	Convert to USE_NEW_TEXINFO.	seb	4	-6/+26
	Set the INFO_DIR to pvs/doc/release-notes where the info file pvs-release-notes.info gets installed. Patch the info file so install-info finds a section and an entry in it for the directory file.
2003-03-31	Upgrade to 3.1, a bug-fix release. (Not much more information available	jschauma	4	-28/+27
	from the website.)
2003-03-29	Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.	jmmv	1	-2/+2

2003-01-04	Add	jschauma	1	-1/+3
	CHECK_SHLIBS=NO SHLIB_HANDLING=NO as suggested by wiz in an attempt to fix problems seen in the recent bulk-builds. (Note: I can't reproduce the problem and IIRC previous bulk- builds did not have them, either, so these fixes are very speculative.)
2002-12-26	Add a mirror	jschauma	1	-1/+2

2002-12-20	Upgrade to 3.0 (previous version was actually 3.0-beta.) -> bump	jschauma	4	-319/+83
	PKGREVISION. Also use buildlink2 and emacs.mk for simplicity.
2002-09-24	Initial import of devel/pvs into pkgsrc:	jschauma	6	-0/+1017
	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.