summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cryptominisat: bump to 5.11.4Maciej Barć2023-01-121-0/+38