aboutsummaryrefslogtreecommitdiff
path: root/math/why3/Makefile.common
Commit message (Expand)AuthorAgeFilesLines
* Fix packagingAntoine Brodin2014-09-031-1/+0
* Add two new math ports: why3 and why3-gplJohn Marino2014-06-041-0/+73
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 17:37:01 +0000