| Repository |
Package name |
Version |
Category |
Maintainer(s) |
|
AUR |
eprover |
3.1 |
- |
asch@aur |
Debian 12
bookworm/main |
eprover |
2.6 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Debian 13
trixie/main |
eprover |
3.2.5 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Debian Unstable
sid/main |
eprover |
3.2.5 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Devuan Unstable
unstable/main |
eprover |
3.2.5 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Fedora 37
release |
E |
2.6 |
Unspecified |
- |
Fedora 38
release |
E |
2.6 |
Unspecified |
- |
Fedora 39
release |
E |
2.6 |
Unspecified |
- |
Fedora 40
updates |
E |
3.1.0 |
Unspecified |
- |
Fedora 40
release |
E |
3.0.03 |
Unspecified |
- |
Fedora 41
release |
E |
3.1.0 |
Unspecified |
- |
Fedora 42
release |
E |
3.2.5 |
Unspecified |
- |
Fedora Rawhide
development |
E |
3.2.5 |
Unspecified |
- |
|
FreeBSD Ports |
math/eprover |
2.6 |
math |
yuri@freebsd.org |
|
Gentoo |
sci-mathematics/eprover |
3.0.03 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
Gentoo |
sci-mathematics/eprover |
3.0_pre008 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
Homebrew |
eprover |
3.2 |
- |
- |
Kali Linux Rolling
main |
eprover |
3.2.5 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
|
LiGurOS stable |
sci-mathematics/eprover |
3.0.03 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS stable |
sci-mathematics/eprover |
3.0_pre008 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/eprover |
3.0.03 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/eprover |
3.0_pre008 |
sci-mathematics |
sci-mathematics@gentoo.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 stable 23.11 |
eprover |
3.0 |
- |
7c6f434c@mail.ru, gebner@gebner.org |
|
nixpkgs stable 23.11 |
eprover |
3.0 |
- |
7c6f434c@mail.ru, gebner@gebner.org |
|
nixpkgs stable 24.05 |
eprover |
3.1 |
- |
7c6f434c@mail.ru, gebner@gebner.org |
|
nixpkgs stable 24.05 |
eprover |
3.1 |
- |
7c6f434c@mail.ru, gebner@gebner.org |
|
nixpkgs stable 24.11 |
eprover |
3.1 |
- |
7c6f434c@mail.ru, gebner@gebner.org |
|
nixpkgs stable 24.11 |
eprover |
3.1 |
- |
7c6f434c@mail.ru, gebner@gebner.org |
|
nixpkgs stable 25.05 |
eprover |
3.2 |
- |
7c6f434c@mail.ru |
|
nixpkgs stable 25.05 |
eprover |
3.2 |
- |
7c6f434c@mail.ru |
|
nixpkgs unstable |
eprover |
3.2 |
- |
7c6f434c@mail.ru |
|
nixpkgs unstable |
eprover |
3.2 |
- |
7c6f434c@mail.ru |
Parrot
parrot/main |
eprover |
2.6 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Parrot
parrot-updates/main |
eprover |
2.6 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
PureOS landing
landing/main |
eprover |
3.2.5 |
math |
team+math@tracker.debian.org, jpuydt@debian.org |
Raspbian Stable
main |
eprover |
2.6 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Raspbian Testing
main |
eprover |
3.2.5 |
misc |
team+math@tracker.debian.org, jpuydt@debian.org |
|
SlackBuilds |
academic/eprover |
3.1 |
academic |
nick@smallbone.se |
Ubuntu 24.04
noble/universe |
eprover |
3.0.03 |
universe/misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Ubuntu 24.10
oracular/universe |
eprover |
3.2.0 |
universe/misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Ubuntu 25.04
plucky/universe |
eprover |
3.2.5 |
universe/misc |
team+math@tracker.debian.org, jpuydt@debian.org |
Ubuntu 25.10
questing/universe |
eprover |
3.2.5 |
universe/misc |
team+math@tracker.debian.org, jpuydt@debian.org |