/converters/php5-recode/

h/why3?h=main' type='application/atom+xml'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/why3
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix packagingAntoine Brodin2014-09-032-1/+2
* Bump more ports that depend on libsqlite3.so:Tijl Coosemans2014-07-051-0/+1