Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/cadical
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cadical: bump to 2.0.0Maciej Barć2024-06-283-0/+61
* sci-mathematics/cadical: drop old 1.9.4Maciej Barć2024-06-282-48/+0
* sci-mathematics/cadical: bump to 1.9.5Maciej Barć2024-03-042-0/+48
* sci-mathematics/cadical: drop old 1.8.0Maciej Barć2024-03-042-40/+0
* sci-mathematics/cadical: bump to 1.9.4Maciej Barć2024-02-082-0/+48
* sci-mathematics/cadical: drop old 1.5.3-r1Maciej Barć2024-02-082-38/+0
* sci-mathematics/cadical: bump to 1.8.0Maciej Barć2023-10-082-0/+40
* sci-mathematics/cadical: drop old 1.5.2-r1Maciej Barć2023-10-072-33/+0
* sci-mathematics/cadical: install ccadical.hMaciej Barć2023-01-111-2/+4
* 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