[E] New upstream release.

[Jerry James]

commit 10e2c8b029646fdf0c663b4b925b996645df1db4
Author: Jerry James <loganjerry at gmail.com>
Date:   Sat Jul 2 16:39:27 2011 -0600

    New upstream release.

 E.spec  |    9 ++++++---
 sources |    2 +-
 2 files changed, 7 insertions(+), 4 deletions(-)
---
diff --git a/E.spec b/E.spec
index 377e1ff..6c4347d 100644
--- a/E.spec
+++ b/E.spec
@@ -1,11 +1,11 @@
 Name:		E
-Version:	1.2.001
+Version:	1.3
 Release:	1%{?dist}
 Summary:	Equational Theorem Prover
 Group:		Applications/Engineering
 License:	GPLv2+ or LGPLv2+
-URL:		http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
-Source0:	http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_1.2-001/E.tgz
+URL:		http://www.eprover.org/
+Source0:	http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_%{version}/E.tgz
 
 # Building actually checks for specific versions of python; building may
 # need to be updated for new versions of python 2:
@@ -89,6 +89,9 @@ diff test-results test-expected-results
 %{_mandir}/man1/*
 
 %changelog
+* Sat Jul  2 2011 Jerry James <loganjerry at gmail.com> - 1.3
+- New upstream release
+
 * Tue Jun 21 2011 Jerry James <loganjerry at gmail.com> - 1.2.001-1
 - New upstream release
 - Now dual-licensed: GPLv2+ or LGPLv2+
diff --git a/sources b/sources
index 23a7b80..63bc824 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-acee33e200af096b65c94df16b992c87  E.tgz
+f18fb8e54b34eee11e83250df324306b  E.tgz