summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cryptominisat: drop old 5.11.14Maciej Barć2024-02-141-39/+0
* sci-mathematics/cryptominisat: bump to 5.11.14Maciej Barć2023-09-241-0/+39