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 |