aboutsummaryrefslogtreecommitdiff
path: root/math/why3
Commit message (Expand)AuthorAgeFilesLines
* math/why3: Unbreak after ocaml-findlib changeJohn Marino2017-01-292-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-101-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-291-0/+3
* math/why3: Release portJohn Marino2015-06-282-69/+48
* math/why: remove hidden references to math/isabelleJohn Marino2015-03-011-7/+1
* Cleanup plistAntoine Brodin2014-11-141-18/+0
* Fix packagingAntoine Brodin2014-09-032-1/+2
* Bump more ports that depend on libsqlite3.so:Tijl Coosemans2014-07-051-0/+1
* Add two new math ports: why3 and why3-gplJohn Marino2014-06-046-0/+331