ports - FreeBSD ports tree

	Commit message (Expand)	Author	Age	Files	Lines
*	math/alt-ergo: fix build	Dmitry Marakasov	2021-04-29	2	-3/+4
*	Remove # $FreeBSD$ from Makefiles.	Mathieu Arnold	2021-04-06	1	-1/+0
*	Remove the GUI option	Baptiste Daroussin	2021-02-04	2	-24/+1
*	Mark as BROKEN on powerpc64:	Mark Linimon	2020-05-18	1	-0/+2
*	Reset ports maintained by bf@ until he has time again to work on them.	Rene Ladan	2016-06-27	1	-1/+1
*	Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.	Mathieu Arnold	2016-04-01	1	-5/+5
*	- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add	Guido Falsi	2015-05-04	1	-1/+1
*	Canonicalize a few licenses	Antoine Brodin	2014-12-07	1	-1/+1
*	Cleanup plist	Antoine Brodin	2014-11-13	1	-3/+0
*	Update the default version of GCC in the Ports Collection from GCC 4.7.4	Gerald Pfeifer	2014-09-10	1	-0/+1
*	Convert GMAKE to MAKE_CMD	Baptiste Daroussin	2014-06-25	1	-1/+1
*	math/alt-ergo: Update version 0.94 => 0.95.2 and support stage	John Marino	2014-06-02	3	-30/+25
*	- Convert gmake,bzip2 to USES	Martin Wilke	2014-05-26	1	-1/+1
*	Add NO_STAGE all over the place in preparation for the staging support (cat: ...	Baptiste Daroussin	2013-09-20	1	-0/+1
*	update master sites; trim headers; reposition LICENSE, WWW	Brendan Fabeny	2013-03-18	2	-2/+2
*	switch to the new options format	Brendan Fabeny	2013-03-07	1	-3/+4
*	update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust	Brendan Fabeny	2013-03-05	1	-7/+5
*	- update png to 1.5.10	Dirk Meyer	2012-06-01	1	-0/+1
*	Add alt-ergo 0.94, an automatic theorem prover dedicated to program	Brendan Fabeny	2011-12-21	4	-0/+87