summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cryptominisat: fix sysconfig importMaciej Barć2022-04-031-1/+3
* sci-mathematics/cryptominisat: new package; add version 5.8.0Maciej Barć2021-12-261-0/+41