ports - FreeBSD ports tree

	Commit message (Expand)	Author	Age	Files	Lines
*	Stagify.	Vanilla I. Shu	2014-07-16	2	-2/+45
*	Modernize LIB_DEPENDS	Baptiste Daroussin	2014-07-13	1	-1/+1
*	Remove indefinite articles and trailing periods from COMMENT, plus minor	Jimmy Olgeni	2014-07-07	1	-1/+1
*	- Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later	Li-Wen Hsu	2013-11-13	1	-0/+1
*	Add NO_STAGE all over the place in preparation for the staging support (cat: ...	Baptiste Daroussin	2013-09-20	1	-0/+1
*	Convert to new perl framework	Baptiste Daroussin	2013-09-16	1	-6/+2
*	Convert USE_BISON to USES= bison	Baptiste Daroussin	2013-03-08	1	-6/+2
*	- Update to 2.4.1	Li-Wen Hsu	2012-02-04	3	-7/+21
*	- Get Rid MD5 support	Martin Wilke	2011-03-20	1	-1/+0
*	Switch to use newer GMP version.	Alex Dupre	2010-04-19	1	-2/+2
*	Chase libgmp and bump PORTREVISION.	Alex Dupre	2009-05-13	1	-1/+1
*	Migration from bison 1.x to 2.x	Ade Lovett	2007-10-17	1	-1/+2
*	- Update to 1.2.1	Li-Wen Hsu	2007-09-07	3	-4/+7
*	- Change to my FreeBSD.org email	Li-Wen Hsu	2007-04-04	1	-1/+1
*	Add cvc3 1.0, an automatic theorem prover for the SMT problem.	Cheng-Lung Sung	2007-03-25	4	-0/+143