Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/eprover
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/eprover: fix build on muslMaciej Barć2024-02-192-0/+13
| | | | | Closes: https://bugs.gentoo.org/889682 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/eprover: bump to 3.0.03Maciej Barć2024-01-152-0/+77
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/eprover: do not call ar/ranlib directlyMaciej Barć2023-01-041-0/+4
| | | | | Closes: https://bugs.gentoo.org/889646 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/eprover: new package; add 3.0_pre008Maciej Barć2023-01-043-0/+94
Signed-off-by: Maciej Barć <xgqt@gentoo.org>