summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cadical: bump to 1.5.3Maciej Barć2022-09-131-0/+21
* sci-mathematics/cadical: patch direct call to arMaciej Barć2021-12-281-0/+12