summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cadical: bump to 1.5.3Maciej Barć2022-09-133-0/+57
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
* sci-mathematics/cadical: patch direct call to arMaciej Barć2021-12-282-0/+15
* sci-mathematics/cadical: new package; add version 1.5.2Maciej Barć2021-12-283-0/+47