summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3: fix *DEPENDMaciej Barć2021-12-121-14/+17
* sci-mathematics/why3: new package; add version 1.4.0Maciej Barć2021-12-123-0/+126