summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* */*: remove py3.8 from PYTHON_COMPATDavid Seifert2023-01-141-2/+2
* sci-mathematics/cryptominisat: bump to 5.11.4Maciej Barć2023-01-122-0/+39
* sci-mathematics/cryptominisat: fix sysconfig importMaciej Barć2022-04-032-1/+26
* sci-mathematics/cryptominisat: new package; add version 5.8.0Maciej Barć2021-12-263-0/+62