Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
eprover
Automated theorem prover for full first-order logic with equality
https://www.eprover.org/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-02-19
sci-mathematics/eprover: fix build on musl
54392f0
Maciej Barć
committed on 2024-02-19 20:54:33 UTC
sci-mathematics/eprover/files/eprover-3.0.03-unistd.patch
sci-mathematics/eprover/eprover-3.0.03.ebuild
Commits on 2024-01-15
sci-mathematics/eprover: bump to 3.0.03
49552e9
Maciej Barć
committed on 2024-01-15 21:20:41 UTC
sci-mathematics/eprover/eprover-3.0.03.ebuild
sci-mathematics/eprover/Manifest
Commits on 2023-01-04
sci-mathematics/eprover: do not call ar/ranlib directly
e7417b6
Maciej Barć
committed on 2023-01-04 17:27:23 UTC
sci-mathematics/eprover/eprover-3.0_pre008.ebuild
sci-mathematics/eprover: new package; add 3.0_pre008
c6b0035
Maciej Barć
committed on 2023-01-04 03:42:38 UTC
sci-mathematics/eprover/Manifest
sci-mathematics/eprover/eprover-3.0_pre008.ebuild
sci-mathematics/eprover/metadata.xml
Packages
Maciej Barć committed on 2024-01-15 21:20:41 UTC Maciej Barć committed on 2023-01-04 17:27:23 UTC