[E] New upstream version. Drop now unneeded -alias patch.

[Jerry James]

commit 7ca76ee405ff47e53d5c9f8d631b9088f7f5ef79
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Mon Jul 29 11:53:48 2013 -0600

    New upstream version.
    Drop now unneeded -alias patch.

 E-alias.patch |   25 -------------------------
 E.spec        |   10 +++++-----
 sources       |    2 +-
 3 files changed, 6 insertions(+), 31 deletions(-)
---
diff --git a/E.spec b/E.spec
index 732efdd..a91acb7 100644
--- a/E.spec
+++ b/E.spec
@@ -1,14 +1,11 @@
 Name:		E
-Version:	1.7
+Version:	1.8
 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
-# Sent upstream 7 May 2012.  Use a union to avoid a violation of ANSI C
-# aliasing rules.
-Patch0:		%{name}-alias.patch
 
 # Building actually checks for specific versions of python; building may
 # need to be updated for new versions of python 2:
@@ -37,7 +34,6 @@ placed highly in CNF and UEQ.
 
 %prep
 %setup -q -n %{name}
-%patch0
 
 # Set up Fedora CFLAGS and paths
 sed -e "s|^EXECPATH = .*|EXECPATH = $RPM_BUILD_ROOT%{_bindir}|" \
@@ -90,6 +86,10 @@ diff test-results test-expected-results
 %{_mandir}/man1/*
 
 %changelog
+* Mon Jul 29 2013 Jerry James <loganjerry at gmail.com> - 1.8-1
+- New upstream version
+- Drop now unneeded -alias patch
+
 * Mon Mar 25 2013 Jerry James <loganjerry at gmail.com> - 1.7-1
 - New upstream release
 
diff --git a/sources b/sources
index fea01dd..ea3b6f9 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-69e7f420c3606b920c471f24ccd81279  E.tgz
+08c4e29fc3be022381b30cee738e5eab  E.tgz