summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/psmt2-frontend: drop old 0.2Maciej Barć2024-03-081-1/+0
* sci-mathematics/psmt2-frontend: bump to 0.4.0Maciej Barć2021-12-281-0/+1
* sci-mathematics/psmt2-frontend: add psmt2-frontendTupone Alfredo2019-07-261-0/+1