aboutsummaryrefslogtreecommitdiffstats
path: root/math/why3-gpl
Commit message (Expand)AuthorAgeFilesLines
* Cleanup plistantoine2014-11-141-17/+0
* Bump more ports that depend on libsqlite3.so:tijl2014-07-051-0/+1
* math/why3-gpl: Increase distinction between this and math/wny3marino2014-06-082-23/+4
* Add two new math ports: why3 and why3-gplmarino2014-06-056-0/+266