/addressbook/gui/component/

3.36 FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/math/alt-ergo
Commit message (Expand)AuthorAgeFilesLines
* Reset ports maintained by bf@ until he has time again to work on them.rene2016-06-281-1/+1
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.mat2016-04-011-5/+5
* - Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which addmadpilot2015-05-041-1/+1
* Canonicalize a few licensesantoine2014-12-071-1/+1
* Cleanup plistantoine2014-11-141-3/+0
* Update the default version of GCC in the Ports Collection from GCC 4.7.4gerald2014-09-111-0/+1
* Convert GMAKE to MAKE_CMDbapt2014-06-251-1/+1
* math/alt-ergo: Update version 0.94 => 0.95.2 and support stagemarino2014-06-033-30/+25
* - Convert gmake,bzip2 to USESmiwi2014-05-261-1/+1
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* update master sites; trim headers; reposition LICENSE, WWWbf2013-03-192-2/+2