[zenon] Rebuild for coq 8.3pl3.

[Jerry James]

commit ccd3969d4531f781ea2818fdd702efee43dcee16
Author: Jerry James <loganjerry at gmail.com>
Date:   Tue Dec 27 12:53:30 2011 -0700

    Rebuild for coq 8.3pl3.

 zenon.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/zenon.spec b/zenon.spec
index 11892e0..8236206 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -4,7 +4,7 @@
 
 Name:		zenon
 Version:	0.6.3
-Release:	3%{?dist}
+Release:	4%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
 Group:		Applications/Engineering
 License:	BSD
@@ -84,6 +84,9 @@ fi
 %{_mandir}/man5/*
 
 %changelog
+* Tue Dec 27 2011 Jerry James <loganjerry at gmail.com> - 0.6.3-4
+- Rebuild for coq 8.3pl3
+
 * Mon Nov 14 2011 Jerry James <loganjerry at gmail.com> - 0.6.3-3
 - Change ExclusiveArch to %%{ocaml_arches}