[E] New upstream version.

[Jerry James]

commit e3f0cd157528571a6bc968804c0fca3e585b5988
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Tue Sep 3 09:33:07 2013 -0600

    New upstream version.

 E.spec  |   10 ++++++++--
 sources |    2 +-
 2 files changed, 9 insertions(+), 3 deletions(-)
---
diff --git a/E.spec b/E.spec
index a91acb7..6d0d28f 100644
--- a/E.spec
+++ b/E.spec
@@ -1,11 +1,14 @@
+# The patchlevel does not appear in the download URL
+%global majver 1.8
+
 Name:		E
-Version:	1.8
+Version:	1.8.001
 Release:	1%{?dist}
 Summary:	Equational Theorem Prover
 Group:		Applications/Engineering
 License:	GPLv2+ or LGPLv2+
 URL:		http://www.eprover.org/
-Source0:	http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_%{version}/%{name}.tgz
+Source0:	http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_%{majver}/%{name}.tgz
 
 # Building actually checks for specific versions of python; building may
 # need to be updated for new versions of python 2:
@@ -86,6 +89,9 @@ diff test-results test-expected-results
 %{_mandir}/man1/*
 
 %changelog
+* Tue Sep  3 2013 Jerry James <loganjerry at gmail.com> - 1.8.001-1
+- New upstream version
+
 * Mon Jul 29 2013 Jerry James <loganjerry at gmail.com> - 1.8-1
 - New upstream version
 - Drop now unneeded -alias patch
diff --git a/sources b/sources
index ea3b6f9..7e1b9ad 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-08c4e29fc3be022381b30cee738e5eab  E.tgz
+a17061b9900bbfeb112e022f42b2dcb8  E.tgz