summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cadical: bump to 1.5.3Maciej Barć2022-09-131-0/+1
* sci-mathematics/cadical: new package; add version 1.5.2Maciej Barć2021-12-281-0/+1