/databases/rrdtool10/

-gnome/'>freebsd-ports-gnome
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/math/why3
Commit message (Expand)AuthorAgeFilesLines
* math/why3: Unbreak after ocaml-findlib changeJohn Marino2017-01-302-0/+12
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-7/+7
* - Fix various typos in CONFLICTS_INSTALL knobAlex Kozlov2016-02-111-1/+1
* - Add LICENSE_FILESunpoet Po-Chuan Hsieh2015-11-201-1/+3
* - Switch to options helpersDmitry Marakasov2015-08-281-4/+2
* - Strip binariesDmitry Marakasov2015-07-301-0/+3
* math/why3: Release portJohn Marino2015-06-282-69/+48
* math/why: remove hidden references to math/isabelleJohn Marino2015-03-021-7/+1
* Cleanup plistAntoine Brodin2014-11-141-18/+0