[zenon] Rebuild for coq 8.4pl2.

[Jerry James]

commit 3b572aa7597a3321bad759d7ca8716db894d514a
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Tue May 14 14:41:50 2013 -0600

    Rebuild for coq 8.4pl2.

 zenon.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/zenon.spec b/zenon.spec
index 6ef0e0b..3df05cd 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -4,7 +4,7 @@
 
 Name:		zenon
 Version:	0.7.1
-Release:	5%{?dist}
+Release:	6%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
 Group:		Applications/Engineering
 License:	BSD
@@ -109,6 +109,9 @@ fi
 %{_mandir}/man5/*
 
 %changelog
+* Wed May  8 2013 Jerry James <loganjerry at gmail.com> - 0.7.1-6
+- Rebuild for coq 8.4pl2
+
 * Fri Feb 15 2013 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.7.1-5
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild