aboutsummaryrefslogtreecommitdiffstats
path: root/math/why3/distinfo
Commit message (Expand)AuthorAgeFilesLines
* Add two new math ports: why3 and why3-gplmarino2014-06-051-0/+2