Versions Packages Information History Badges Report

Versions for eprover

46 package(s) known

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