[zenon] Update URLs.

[Jerry James]

commit 9d53b71ee0428bfbb0a581ef6395e97452fcaf88
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Wed Jan 7 09:06:26 2015 -0700

    Update URLs.

 zenon.spec |   11 +++++++----
 1 files changed, 7 insertions(+), 4 deletions(-)
---
diff --git a/zenon.spec b/zenon.spec
index fdc8ab0..00e7482 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -6,13 +6,13 @@
 
 Name:		zenon
 Version:	0.8.0
-Release:	2%{?dist}
+Release:	3%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
 Group:		Applications/Engineering
 License:	BSD
-URL:		http://sosie.inria.fr/
-Source0:	http://sosie.inria.fr/%{name}-%{version}.tar.gz
-Source1:	http://sosie.inria.fr/zenlpar07.pdf
+URL:		http://zenon-prover.org/
+Source0:	http://zenon-prover.org/%{name}-%{version}.tar.gz
+Source1:	http://zenon-prover.org/zenlpar07.pdf
 Source2:	%{name}-tptp-COM003+2.p
 Source3:	%{name}-tptp-ReadMe
 # Basic documentation (man pages). Submitted upstream 2008-07-25:
@@ -91,6 +91,9 @@ fi
 %{_mandir}/man5/*
 
 %changelog
+* Wed Jan  7 2015 Jerry James <loganjerry at gmail.com> - 0.8.0-3
+- Update URLs
+
 * Thu Oct 30 2014 Jerry James <loganjerry at gmail.com> - 0.8.0-2
 - Rebuild for coq 8.4pl5