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 |