summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
| | | | | | Again. :( Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/cadical: patch direct call to arMaciej Barć2021-12-282-0/+15
| | | | | | Closes: https://bugs.gentoo.org/830175 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: new package; add version 1.5.2Maciej Barć2021-12-283-0/+47
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>