summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/cadical: bump to 1.5.3Maciej Barć2022-09-131-0/+21
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: patch direct call to arMaciej Barć2021-12-281-0/+12
Closes: https://bugs.gentoo.org/830175 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>