sci-mathematics/alt-ergo – Gentoo Packages

Packages

Get Gentoo!

Available Versions

Version	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	sparc
2.3.0 : 0	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	sparc
1.30 : 0	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	sparc

Package Metadata

USE flags
Global Use Flags
- examples
- gtk
- ocamlopt
License

CeCILL-C
Maintainer(s)

Tupone Alfredo

External Resources

CI Report (verbose)

Repology

Open Pull Requests

Git repository browser

Git log (short)