Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
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