Versions Packages Information History Badges Report

Versions for eprover

24 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 Rawhide E 2.5 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.5 - -
Linuxbrew eprover 2.5 - -
nixpkgs stable eprover 2.5 - 7c6f434c@mail.ru, gebner@gebner.org
nixpkgs unstable eprover 2.5 - 7c6f434c@mail.ru, gebner@gebner.org
SlackBuilds academic/eprover 2.5 academic nick@smallbone.se