| Repository |
Package name |
Version |
Category |
Maintainer(s) |
|
AUR |
eprover |
2.6 |
- |
asch@aur |
Debian 12
bookworm/main |
eprover |
2.6 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Debian Unstable
sid/main |
eprover |
2.6 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Devuan Unstable
unstable/main |
eprover |
2.6 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
|
DPorts |
math/eprover |
2.0 |
math |
ports@freebsd.org |
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
release |
E |
2.6 |
Unspecified |
- |
Fedora 37
release |
E |
2.6 |
Unspecified |
- |
Fedora 38
release |
E |
2.6 |
Unspecified |
- |
Fedora Rawhide
development |
E |
2.6 |
Unspecified |
- |
|
FreeBSD Ports |
math/eprover |
2.0 |
math |
ports@freebsd.org |
|
Gentoo |
sci-mathematics/eprover |
3.0_pre008 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
Homebrew |
eprover |
2.6 |
- |
- |
Kali Linux Rolling
main |
eprover |
2.6 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
|
LiGurOS stable |
sci-mathematics/eprover |
3.0_pre008 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/eprover |
3.0_pre008 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
nixpkgs stable 21.11 |
eprover |
2.6 |
- |
7c6f434c@mail.ru, gebner@gebner.org |
|
nixpkgs stable 22.05 |
eprover |
2.6 |
- |
7c6f434c@mail.ru, gebner@gebner.org |
|
nixpkgs stable 22.05 |
eprover |
2.6 |
- |
7c6f434c@mail.ru, gebner@gebner.org |
|
nixpkgs stable 22.11 |
eprover |
2.6 |
- |
7c6f434c@mail.ru, gebner@gebner.org |
|
nixpkgs stable 22.11 |
eprover |
2.6 |
- |
7c6f434c@mail.ru, gebner@gebner.org |
|
nixpkgs stable 23.05 |
eprover |
2.6 |
- |
7c6f434c@mail.ru, gebner@gebner.org |
|
nixpkgs stable 23.05 |
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 |
Raspbian Testing
main |
eprover |
2.6 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
|
SlackBuilds |
academic/eprover |
2.5 |
academic |
nick@smallbone.se |
Ubuntu 22.10
kinetic/universe |
eprover |
2.6 |
universe/misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Ubuntu 23.04
lunar/universe |
eprover |
2.6 |
universe/misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Ubuntu 23.10
mantic/universe |
eprover |
2.6 |
universe/misc |
team+math@tracker.debian.org, jpuydt@debian.org |