/graphics/pear-Image_3D/

freebsd-ports-gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/lang/polyml
Commit message (Expand)AuthorAgeFilesLines
* Fixup USE_GITHUB usage.mat2016-11-262-4/+4
* lang/polyml: 5.5.2 -> 5.6pi2016-04-163-7/+8
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.mat2016-04-011-1/+1
* - Allow exposing polyml as a shared library (as required by e.g. HOL4)danfe2015-10-24