You are here:
Package: E
Show more informations from pkgdb
| Summary: | Equational Theorem Prover |
|---|---|
| Description: | |
| URL: | https://www.eprover.org/ |
| Owner: | jjames |
| Bugzilla: | Active bugs |
| Pagure: | https://src.fedoraproject.org/rpms/E |
| Koschei: | https://koschei.fedoraproject.org/package/E |
| Branch | Repository | Version-Release | Owner | Co-maintainers |
|---|---|---|---|---|
| devel | 3.0.03-4.fc40 | |||
| f40 | testing | 3.1.0-1.fc40 | ||
| base | 3.0.03-4.fc40 | |||
| f39 | base | 2.6-6.fc39 | ||
| f38 | base | 2.6-5.fc38 | ||
| f37 | base | 2.6-4.fc37 | ||
| f36 | base | 2.6-3.fc36 | ||
| f35 | base | 2.6-2.fc35 | ||
| f34 | updates | 2.6-1.fc34 | ||
| base | 2.5-2.fc34 | |||
| f33 | base | 2.5-1.fc33 | ||
| f32 | base | 2.4-2.fc32 | ||
| f31 | updates | 2.4-1.fc31 | ||
| base | 2.3-2.fc31 | |||
| f30 | updates | 2.3-1.fc30 | ||
| base | 2.2-2.fc30 | |||
| f29 | updates | 2.2-1.fc29 | ||
| base | 2.1-2.fc29 | |||
| f28 | base | 2.0-4.fc28 | ||
| f27 | base | 2.0-3.fc27 | ||
| f26 | updates | 2.0-1.fc26 | ||
| base | 1.9.1-2.fc26 | |||
| f25 | base | 1.9.1-1.fc25 | ||
| f24 | updates | 1.9.1-1.fc24 | ||
| base | 1.9-3.fc24 | |||
| f23 | base | 1.9-2.fc23 | ||
| f22 | updates | 1.9-1.fc22 | ||
| base | 1.8.001-4.fc22 | |||
| f21 | base | 1.8.001-3.fc21 | ||
| f20 | base | 1.8.001-1.fc20 | ||
| f19 | updates | 1.8.001-1.fc19 | ||
| base | 1.7-1.fc19 | |||
| f18 | base | 1.6-1.fc18 | ||
| f17 | updates | 1.5-1.fc17 | ||
| base | 1.4-3.fc17 | |||
| f16 | base | 1.4-1.fc16 | ||
| f15 | updates | 1.4-1.fc15 | ||
| base | 1.0.002-6.fc15 | |||
| f14 | base | 1.0.002-4.fc11 | ||
| F-13 | base | 1.0.002-4.fc11 | ||
| F-12 | base | 1.0.002-4.fc11 | ||
| F-11 | base | 1.0.002-4.fc11 | ||
| F-10 | updates | 1.0.002-3.fc10 | ||
| F-9 | updates | 1.0.002-3.fc9 | ||
| F-8 | updates | 0.999.006-2.fc8 |