FreeBSD-ports - Raptor Engineering's fork of pfsense FreeBSD ports tree with pfSense changes

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update to version 3.4.4	kevlo	2001-02-12	3	-5/+9
\| \| \| \| \|	PR: 25024 Submitted by: MAINTAINER
*	Update to 3.4.2	roam	2000-12-10	4	-9/+9
\| \| \| \| \|	PR: 23408 Submitted by: maintainer
*	Update to 3.4.1	ade	2000-09-16	5	-17/+24
\| \| \| \| \|	PR: 21181 Submitted by: maintainer
*	- Support LOCALBASE properly (in setting path to custom wish script)	sobomax	2000-06-23	2	-1/+4
\| \| \| \| \|	PR: 19470 Submitted by: KATO Tsuguru <tkato@prontomail.ne.jp>
*	Update to version 3.3.10.	steve	2000-05-29	4	-8/+8
\| \| \| \| \|	PR: 18549 Submitted by: maintainer
*	ftp.cdrom.com -> ftp.freesoftware.com, adjusting paths as I go.	billf	2000-05-14	1	-1/+1
\|
*	Convert to PORTNAME/PORTVERSION.	asami	2000-04-14	1	-2/+2
\|
*	Update port to 3.3.9	jedgar	2000-02-09	2	-4/+4
\| \| \| \| \|	PR: 16531 Submitted by: Maintainer
*	* Update port to 3.3.8	jedgar	2000-01-26	4	-9/+9
\| \| \| \| \| \| \|	* Fix unfetchable distfiles PR: 16321 Submitted by: Maintainer
*	Update port to 3.3.7	jedgar	1999-12-24	4	-9/+9
\| \| \| \| \|	PR: 15617 Submitted by: Maintainer
*	Update to 3.3.5 and fixes unfetchable distfile	flathill	1999-10-11	2	-4/+4
\| \| \| \| \|	PR: ports/14252 Submitted by: jh@cr1003333-a.crdva1.bc.home.com
*	xspin333.tcl should be in the PLIST, not 300	cpiazza	1999-09-08	1	-1/+1
\| \| \| \| \|	PR: 13620 Submitted by: Jonathan Hanna <pangolin@home.com>
*	ln -> ${LN}	mharo	1999-08-28	1	-1/+1
\|
*	Change Id->FreeBSD.	obrien	1999-08-25	1	-1/+1
\|
*	Updated to version 3.33	taoka	1999-08-12	4	-13/+12
\| \| \| \| \|	PR: 13015 Submitted: maintainer
*	Update spin to 3.30.	cpiazza	1999-06-25	7	-19/+35
\| \| \| \| \|	PR: 12373 Submitted by: maintainer
*	Missed this one.	asami	1999-02-12	1	-0/+13
\|
*	Upgrade to 3.24, fixes build problem.	asami	1999-02-12	4	-16/+20
\| \| \| \| \|	PR: 9732 Submitted by: maintainer
*	Import of math spin:	jseger	1998-12-12	6	-0/+191
	Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com