Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/cadical/Manifest
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/cadical: bump to 2.0.0Maciej Barć2024-06-281-0/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: drop old 1.9.4Maciej Barć2024-06-281-1/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: bump to 1.9.5Maciej Barć2024-03-041-0/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: drop old 1.8.0Maciej Barć2024-03-041-1/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: bump to 1.9.4Maciej Barć2024-02-081-0/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: drop old 1.5.3-r1Maciej Barć2024-02-081-1/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: bump to 1.8.0Maciej Barć2023-10-081-0/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: drop old 1.5.2-r1Maciej Barć2023-10-071-1/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: bump to 1.5.3Maciej Barć2022-09-131-0/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: new package; add version 1.5.2Maciej Barć2021-12-281-0/+1
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>