ports - FreeBSD ports tree

	Commit message (Expand)	Author	Age	Files	Lines
*	Bump PORTREVISIONs for ports depending on the canonical version of GCC and	Gerald Pfeifer	2017-04-01	1	-1/+1
*	math/cvc3: unbreak with gcc6 or later	Jan Beich	2017-02-11	1	-0/+1
*	Bump PORTREVISIONS for ports depending on the canonical version of GCC and	Gerald Pfeifer	2016-11-20	1	-0/+1
*	Use USES=pathfix where applicable.	Mathieu Arnold	2016-10-21	2	-6/+6
*	Convert tab after WWW: in pkg-descrs to single space as per PHB	Dmitry Marakasov	2016-05-23	1	-1/+1
*	- Fix trailing whitespace in pkg-descrs, categories [g-n]*	Dmitry Marakasov	2016-05-19	1	-1/+1
*	Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.	Mathieu Arnold	2016-04-01	1	-1/+1
*	Cleanup plist	Antoine Brodin	2014-11-13	1	-1/+0
*	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