Tue, 30 Apr 2024 03:52:19 UTC | login

Information for build E-2.0-4.fc29

ID26578
Package NameE
Version2.0
Release4.fc29
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/E.git#ffda859807e53918ab0907a8db4cd09bcb7ea080
SummaryEquational Theorem Prover
DescriptionE is a purely equational theorem prover for full first-order logic. That means it is a program that you can stuff a mathematical specification (in first-order format) and a hypothesis into, and which will then run forever, using up all of your machines' resources. Very occasionally it will find a proof for the hypothesis and tell you so. E's inference core is based on a modified version of the superposition calculus for equational clausal logic. Both clausification and reasoning on the clausal form can be documented in checkable proof objects. E was the best-performing open source software prover in the 2008 CADE ATP System Competition (CASC) in the FOF, CNF, and UEQ divisions. In the 2011 competition, it won second place in the FOF division, and placed highly in CNF and UEQ.
Built bydavidlt
State complete
Volume DEFAULT
StartedSat, 19 May 2018 02:08:16 UTC
CompletedSat, 19 May 2018 04:08:33 UTC
Taskbuild (f29-candidate, /rpms/E.git:ffda859807e53918ab0907a8db4cd09bcb7ea080)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/E.git?#ffda859807e53918ab0907a8db4cd09bcb7ea080'}}
Tags
f29
RPMs
src
E-2.0-4.fc29.src.rpm (info) (download)
riscv64
E-2.0-4.fc29.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Sat Jul 08 2017 Jerry James <loganjerry@gmail.com> - 2.0-1 - New upstream release * Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.9.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Thu Sep 01 2016 Jerry James <loganjerry@gmail.com> - 1.9.1-1 - New upstream release * Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.9-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Wed Sep 16 2015 Jerry James <loganjerry@gmail.com> - 1.9-2 - Link with RPM_LD_FLAGS * Wed Jul 22 2015 Jerry James <loganjerry@gmail.com> - 1.9-1 - New upstream release * Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8.001-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Fri Feb 13 2015 Jerry James <loganjerry@gmail.com> - 1.8.001-4 - Use license macro * Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8.001-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Fri Jun 06 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8.001-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Tue Sep 03 2013 Jerry James <loganjerry@gmail.com> - 1.8.001-1 - New upstream version * Mon Jul 29 2013 Jerry James <loganjerry@gmail.com> - 1.8-1 - New upstream version - Drop now unneeded -alias patch * Mon Mar 25 2013 Jerry James <loganjerry@gmail.com> - 1.7-1 - New upstream release * Wed Feb 13 2013 Jerry James <loganjerry@gmail.com> - 1.6-2 - Add tex(supertabular.sty) BR due to TeXLive 2012 changes * Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.6-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Mon Aug 06 2012 Jerry James <loganjerry@gmail.com> - 1.6-1 - New upstream release * Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.5-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Mon May 07 2012 Jerry James <loganjerry@gmail.com> - 1.5-1 - New upstream release * Thu Jan 12 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild * Sat Jan 07 2012 Jerry James <loganjerry@gamil.com> - 1.4-2 - Rebuild for GCC 4.7 * Mon Aug 22 2011 Jerry James <loganjerry@gmail.com> - 1.4-1 - New upstream release - Rebuild man pages with newer version of help2man - Use the Makefile's install target instead of rolling our own * Sat Jul 02 2011 Jerry James <loganjerry@gmail.com> - 1.3-1 - New upstream release * Tue Jun 21 2011 Jerry James <loganjerry@gmail.com> - 1.2.001-1 - New upstream release - Now dual-licensed: GPLv2+ or LGPLv2+ - Drop unnecessary spec file elements (BuildRoot, etc.) - Use virtual provides for the BRs instead of files - Install the man pages * Mon Feb 07 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.002-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild * Fri Jul 24 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.002-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild * Mon Feb 23 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.002-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild * Mon Dec 22 2008 David A. Wheeler <dwheeler at, dwheeler.com> 1.0.002-3 - Work around local tags * Mon Dec 22 2008 David A. Wheeler <dwheeler at, dwheeler.com> 1.0.002-2 - Repaired for python2 variations (different releases have different versions of python2) * Mon Dec 22 2008 David A. Wheeler <dwheeler at, dwheeler.com> 1.0.002-1 - Added python2.5 as BuildRequires - Update to E version 1.0 ("Temi"). This includes... - Improved eproof script signal handling. - Fixed a number of warnings with the latest gcc version. - Updated proof objects to latest SZS ontology. * Tue Aug 19 2008 David A. Wheeler <dwheeler at, dwheeler.com> 0.999.006-2 - Change executable permissions from 0775 to 0755 - Use compilation switches (e.g., -O2 instead of pointless -O6, and use -g) * Tue Aug 19 2008 David A. Wheeler <dwheeler at, dwheeler.com> 0.999.006-1 - Initial package