Versions Packages Information History Badges Report

Versions for eprover

44 package(s) known

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