E-3.1.0-1.fc41 in Fedora Rawhide
↵ 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 |
|---|---|---|
| 2024-05-14 | Jerry James <loganjerry at gmail dot com> - 3.1.0-1 | - Version 3.1.0 - Drop upstreamed format-overflow patch - The main binary is named eprover instead of eprover-ho |
| 2024-01-22 | Fedora Release Engineering <releng at fedoraproject dot org> - 3.0.03-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 3.0.03-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-18 | Fedora Release Engineering <releng at fedoraproject dot org> - 3.0.03-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2023-12-28 | Jerry James <loganjerry at gmail dot com> - 3.0.03-1 | - Version 3.0.03 - Stop building for 32-bit x86 - Retrieve the source tarball from github - Drop upstreamed simple-apps patch |
| 2023-07-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6-6 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild |
| 2023-01-18 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6-5 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild |
| 2022-08-16 | Jerry James <loganjerry at gmail dot com> - 2.6-4 | - Convert License tag to SPDX |
| 2022-07-20 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild |
Dependencies
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/
- aedcb22aac392e619bd2e4d162d1816116f93a
- 13/
- 828a57e52bf9b152aac0caf4a241f2d3b8a9a7
- 1c/
- 7f264057d94f2dbbdd42219799f8b3dcf2ed9a
- 1d/
- 124181b0c20c7357c77409218e7fe57ee19843
- 2a/
- d0d34ac746a6ca6141168c3f6ac195480ecaeb
- 3b/
- e851a012f2325b695bcee6d97cf5ddc3de66ca
- 55/
- 8fe0915348c786dfbd30785e29ef14c62acbec
- 56/
- b7b74fc4882e0f9f51bd33bb3b85032020d389
- 62/
- 5e25dfe1e9f977b88f393cb7134eb0d37f4337
- 6f/
- 1d0a89b4744f7e17b93244318a5d97f0a80476
- c2/
- 42da5d3f227f7400dbb6a88dde7a8892131fbd
- d1/
- b2dccbf04973da591e3f0fad1af413b6151f27
- 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-3.0.html
- E-3.1.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