Versions Packages Information History Badges Report

Packages for eprover

24 package(s) known

eprover

2.5 (2.5-1)

math/eprover

2.0 (2.0_1)
Fedora 26
updates

E

2.0 (2.0-1.fc26)
Fedora 26
release

E

1.9.1 (1.9.1-2.fc26)
Fedora 27
release

E

2.0 (2.0-3.fc27)
Fedora 28
release

E

2.0 (2.0-4.fc28)
Fedora 29
updates

E

2.2 (2.2-1.fc29)
Fedora 29
release

E

2.1 (2.1-2.fc29)
Fedora 30
updates

E

2.3 (2.3-1.fc30)
Fedora 30
release

E

2.2 (2.2-2.fc30)
Fedora 31
updates

E

2.4 (2.4-1.fc31)
Fedora 31
release

E

2.3 (2.3-2.fc31)
Fedora 32
release

E

2.4 (2.4-2.fc32)
Fedora 33
release

E

2.5 (2.5-1.fc33)

E

2.5 (2.5-2.fc34)

math/eprover

2.0 (2.0_1)
Funtoo 1.4
science-kit

sci-mathematics/e

1.8 (1.8-r1)
Funtoo 1.4
science-kit

sci-mathematics/e

1.6
Funtoo 1.4
science-kit

sci-mathematics/e

1.5

eprover

2.5

eprover

2.5

eprover

2.5

eprover

2.5

academic/eprover

2.5