aboutsummaryrefslogtreecommitdiff
path: root/math/why3
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add two new math ports: why3 and why3-gplJohn Marino2014-06-046-0/+331