From 4012ffefcfc49d9091d5ddb71ce52dfe5cc08d31 Mon Sep 17 00:00:00 2001
From: David A. Wheeler <dwheeler@fedoraproject.org>
Date: Dec 22 2008 23:01:23 +0000
Subject: Updated to E version 1.0.


---

diff --git a/E.spec b/E.spec
index 3d0d768..ce7fa7b 100644
--- a/E.spec
+++ b/E.spec
@@ -1,12 +1,13 @@
 Name:		E
-Version:	0.999.006
-Release:	2%{?dist}
+Version:	1.0.002
+Release:	1%{?dist}
 Summary:	Equational Theorem Prover
 Group:		Applications/Engineering
 License:	GPLv2
 URL:		http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
-Source0:	http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_0.999-006/E.tgz
+Source0:	http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_1.0-002/E.tgz
 BuildRoot:	%{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
+
 # BuildRequires refers to files, not packages, because the package name differs
 # between releases. This is okay by Fedora's Packaging/Guidelines, which only
 # say "Whenever possible you should avoid file dependencies outside of
@@ -15,7 +16,9 @@ BuildRequires:	/usr/bin/latex
 BuildRequires:	/usr/bin/dvips
 BuildRequires:	/usr/bin/pdflatex
 BuildRequires:	/usr/bin/bibtex
+BuildRequires:	/usr/bin/python2.5
 # You can verify the CASC results here: http://www.cs.miami.edu/~tptp/CASC/J4/
+
 %description
 E is a purely equational theorem prover for full first-order logic.
 That means it is a program that you can stuff a mathematical specification
@@ -37,7 +40,7 @@ CADE ATP System Competition (CASC) in the FOF, CNF, and UEQ divisions.
 %build
 sed -i -e 's/^EXECPATH = .*/EXECPATH = \/usr\/bin/' Makefile.vars
 sed -i -e 's/^CFLAGS.*=.*-O6/CFLAGS = %{optflags} /' Makefile.vars
-# smp_mflags causes unwelcome races
+# smp_mflags causes unwelcome races, so we will not use it
 make tools
 make rebuild
 make documentation
@@ -90,10 +93,17 @@ rm -rf $RPM_BUILD_ROOT
 
 
 %changelog
+* 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 16 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 16 2008 David A. Wheeler <dwheeler at, dwheeler.com> 0.999.006-1
 - Initial package
 
diff --git a/sources b/sources
index ed59db7..c76f4fd 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-5a2168d44e8b3f23f84ccc5ef66aadee  E.tgz
+886c765854120d30dcd748404a7ebf9c  E.tgz