E-2.6-2.fc35 in Fedora 35
↵ Return to the main page of E
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2021-07-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |
| 2021-07-01 | Jerry James <loganjerry at gmail dot com> - 2.6-1 | - Version 2.6 |
| 2021-01-25 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.5-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
| 2020-08-03 | Jerry James <loganjerry at gmail dot com> - 2.5-1 | - Version 2.5 |
| 2020-07-27 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.4-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild |
| 2020-01-28 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.4-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild |
| 2019-10-27 | Jerry James <loganjerry at gmail dot com> - 2.4-1 | - New upstream release - Add -simple-apps patch |
| 2019-07-24 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.3-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild |
Dependencies
- glibc >= 2.33.9000-43.fc35
- picosat-libs
Provides
- E
- E(x86-64)
Files
- usr/
- bin/
- checkproof
- e_axfilter
- e_deduction_server
- e_ltb_runner
- e_stratpar
- eground
- ekb_create
- ekb_delete
- ekb_ginsert
- ekb_insert
- epclextract
- eprover
- lib/
- .build-id/
- 00/
- 4126cf6e926fb6d09c91f7e4178756985a8003
- 10/
- cafba1bff4ca95d121846ceaac34ed2078c4f1
- 3b/
- 7f11d3002c4e8baca49b04a320bf702dd0bc59
- 4e/
- 04b2f3ef73f7e136e703a949f8f5b10eb7e6fb
- 7c/
- 3640bd471e3d29952d1218fece58dd432125f5
- 7e/
- 272356431c0eae4a236240879f1213bbcc8ca4
- 87/
- bef7617ebdb4fa21ae56a51654839a74a06807
- 8e/
- 293f2c81f31740834a0697d91e066b8458a867
- a4/
- ccdb11be7b3ba3afc4bcb63be06f338056e12d
- aa/
- 7f2d61ff925566645541248208d598b7663617
- ce/
- 5b045220811b32525d3295eff96db6055e003f
- f0/
- 12b30904e3ee841bff2186cad91bb2d8372980
- 00/
- .build-id/
- share/
- doc/
- E/
- ANNOUNCE
- CONTRIBUTORS
- E-0.6.html
- E-0.62.html
- E-0.7.html
- E-0.8.html
- E-0.82.html
- E-0.99.html
- E-0.999.html
- E-1.0pre.html
- E-1.1pre.html
- E-1.2pre.html
- E-1.4pre.html
- E-1.6pre.html
- E-1.8pre.html
- E-1.9.1pre.html
- E-1.9pre.html
- E-2.1pre.html
- E-2.2pre.html
- E-2.4pre.html
- E-2.6.html
- E-REMARKS
- E-REMARKS.english
- NEWS
- README.md
- README.server
- TODO
- TSTP_Syntax.txt
- WISHLIST
- bug_reporting
- eprover.pdf
- grammar.txt
- sample_proofs.html
- sample_proofs_tstp.html
- E/
- licenses/
- E/
- COPYING
- E/
- man/
- man1/
- checkproof.1.gz
- e_axfilter.1.gz
- e_deduction_server.1.gz
- e_ltb_runner.1.gz
- e_stratpar.1.gz
- eground.1.gz
- ekb_create.1.gz
- ekb_delete.1.gz
- ekb_ginsert.1.gz
- ekb_insert.1.gz
- epclextract.1.gz
- eprover.1.gz
- man1/
- doc/
- bin/
Sources on Pagure