Versions Packages Information History Badges Report

Versions for eprover

29 package(s) known

Repository Package name Version Category Maintainer(s)
AUR eprover 2.5 - asch@aur
DPorts math/eprover 2.0 math greg@unrelenting.technology
Fedora 26
updates		 E 2.0 Unspecified -
Fedora 26
release		 E 1.9.1 Unspecified -
Fedora 27
release		 E 2.0 Unspecified -
Fedora 28
release		 E 2.0 Unspecified -
Fedora 29
updates		 E 2.2 Unspecified -
Fedora 29
release		 E 2.1 Unspecified -
Fedora 30
updates		 E 2.3 Unspecified -
Fedora 30
release		 E 2.2 Unspecified -
Fedora 31
updates		 E 2.4 Unspecified -
Fedora 31
release		 E 2.3 Unspecified -
Fedora 32
release		 E 2.4 Unspecified -
Fedora 33
release		 E 2.5 Unspecified -
Fedora 34
updates		 E 2.6 Unspecified -
Fedora 34
release		 E 2.5 Unspecified -
Fedora 35
release		 E 2.6 Unspecified -
Fedora 36
development		 E 2.6 Unspecified -
Fedora Rawhide
development		 E 2.6 Unspecified -
FreeBSD Ports math/eprover 2.0 math greg@unrelenting.technology
Funtoo 1.4
science-kit		 sci-mathematics/e 1.8 sci-mathematics gienah@gentoo.org, sci-mathematics@gentoo.org
Funtoo 1.4
science-kit		 sci-mathematics/e 1.6 sci-mathematics gienah@gentoo.org, sci-mathematics@gentoo.org
Funtoo 1.4
science-kit		 sci-mathematics/e 1.5 sci-mathematics gienah@gentoo.org, sci-mathematics@gentoo.org
Homebrew eprover 2.6 - -
nixpkgs stable 21.05 eprover 2.5 - 7c6f434c@mail.ru, gebner@gebner.org
nixpkgs stable 21.11 eprover 2.6 - 7c6f434c@mail.ru, gebner@gebner.org
nixpkgs unstable eprover 2.6 - 7c6f434c@mail.ru, gebner@gebner.org
nixpkgs unstable eprover 2.6 - 7c6f434c@mail.ru, gebner@gebner.org
SlackBuilds academic/eprover 2.5 academic nick@smallbone.se