MD5 (tdg-en-html-2.0.6.zip) = feaeac17e86365a15fec7fa78d2ffe6b t.css'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/why3
Commit message (Expand)AuthorAgeFilesLines
* math/why3: Unbreak after ocaml-findlib changemarino2017-01-302-0/+12
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.mat2016-04-011-7/+7
* - Fix various typos in CONFLICTS_INSTALL knobak2016-02-111-1/+1
* - Add LICENSE_FILEsunpoet2015-11-201-1/+3
* - Switch to options helpersamdmi32015-08-281-4/+2
* - Strip binariesamdmi32015-07-301-0/+3
* math/why3: Release portmarino2015-06-28