aboutsummaryrefslogtreecommitdiff
path: root/math/alt-ergo-spark
Commit message (Expand)AuthorAgeFilesLines
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-3/+3
* Add new port math/alt-ergo-spark (required by SPARK 2015)John Marino2015-06-283-0/+38