Information for alt-ergo

Versions

• 9999
• 2.5.1
• 2.4.3
• 2.4.2 (2)
• 2.4.1
• 2.3.3 (2)
• 2.3.0
• 2.2.0 (2)
• 2.0.0 (2)
• 1.30 (2)
• 0.99.1
• 0.95.2 (3)

Package names

• alt-ergo (7)

Repositories

• Debian 10
• Debian 11
• Deepin
• Devuan 3.0
• Devuan 4.0
• Fedora 26
• Fedora 27
• Fedora 28
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora 36
• Fedora 37
• Fedora 38
• Fedora 39
• Fedora Rawhide
• FreeBSD Ports
• Gentoo
• LiGurOS stable
• LiGurOS develop
• Mageia 8
• Mageia cauldron
• Pardus 21
• Parrot
• PLD Linux
• PureOS Amber
• Raspbian Oldstable
• Raspbian Stable
• Raspbian Testing
• Trisquel 10.0
• Trisquel 11.0
• Ubuntu 14.04
• Ubuntu 16.04
• Ubuntu 18.04
• Ubuntu 20.04
• Ubuntu 22.04
• Ubuntu 23.04
• Wikidata

Categories

• Sciences/Computer science
• Unspecified
• math (2)
• sci-mathematics
• universe/math

Licenses

• ASL 2.0 (2)
• Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception (2)
• CeCILL
• CeCILL-C (2)

Summaries

• Automated theorem prover including linear arithmetic (2)
• Automatic solver of mathematical formulas for program verification
• Automatic theorem prover
• SMT solver for software verification

Maintainers

• debian-ocaml-maint@lists.debian.org
• mehdi@debian.org
• ml@gentoo.org
• ports@freebsd.org
• sci-mathematics@gentoo.org
• treinen@debian.org
• ubuntu-devel-discuss@lists.ubuntu.com

• Group email

Homepage links

• http://alt-ergo.lri.fr/^{redir, no IPv6}
• http://alt-ergo.ocamlpro.com/^{redir, no IPv6} (2)
• https://alt-ergo.lri.fr/^{ok, no IPv6}
• https://alt-ergo.ocamlpro.com/^{ok, no IPv6} (5)
• https://github.com/OCamlPro/alt-ergo^{ok, no IPv6}
• https://github.com/OCamlPro/alt-ergo/^{ok, no IPv6}

Repository links

• https://github.com/OCamlPro/alt-ergo^{ok, no IPv6}

All package recipes

• https://git.pld-linux.org/?p=packages/alt-ergo.git;a=blob;f=alt-ergo.spec;hb=HEAD^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/alt-ergo/alt-ergo-9999.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/alt-ergo/alt-ergo-9999.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/alt-ergo/alt-ergo-9999.ebuild^ok
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f26/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f27/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f28/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f29/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f30/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f31/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f32/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f33/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f34/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f35/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f36/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f37/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f38/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/f39/f/alt-ergo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/alt-ergo/blob/rawhide/f/alt-ergo.spec^{ok, no IPv6}

Downloads

• https://github.com/OCamlPro/alt-ergo/archive/2.4.1.tar.gz^{ok, no IPv6}
• https://github.com/OCamlPro/alt-ergo/archive/2.4.2.tar.gz^{ok, no IPv6}
• https://github.com/OCamlPro/alt-ergo/archive/2.4.3.tar.gz^{ok, no IPv6}

Build logs

• https://kojipkgs.fedoraproject.org/packages/alt-ergo/1.30/12.fc28/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/1.30/15.fc29/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/1.30/16.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/1.30/2.fc26/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/1.30/9.fc27/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.0.0/10.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.0.0/5.fc31/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.2.0/1.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.2.0/13.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.2.0/5.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.2.0/6.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.2.0/9.fc34/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.3.0/4.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.3.3/1.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.3.3/10.fc39/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.3.3/3.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.3.3/6.fc38/data/logs/^{ok, no IPv6}