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
/
alt-ergo
Automatic theorem prover
https://alt-ergo.ocamlpro.com
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Version 2.4.1 is available upstream. Please consider updating!
It seems that version 2.4.1 is available upstream, while the latest version in the Gentoo tree is 2.3.0.
You think this warning is false? Read more about it
here
.
Available Versions
Version
amd64
x86
alpha
arm
arm64
hppa
ia64
ppc
ppc64
riscv
sparc
2.3.0
: 0
amd64
x86
alpha
arm
arm64
hppa
ia64
ppc
ppc64
riscv
sparc
Package Metadata
Upstream
Remote-Id
https://github.com/OCamlPro/alt-ergo
USE flags
Global Use Flags
examples
gtk
ocamlopt
License
CeCILL-C
Maintainer(s)
Tupone Alfredo
External Resources
Related bugs
CI Report
(
verbose
)
Repology
Open Pull Requests
Documentation
Forums posts
Git repository browser
Git log
(
short
)
Changes Feed
Packages