jjames pushed to zenon (f22). "Rebuild for coq 8.4pl6."

[notifications at fedoraproject.org]

>From 6f3ae67b842c3dc12c2e43b430e00c1a3eea88b3 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry at gmail.com>
Date: Sat, 11 Apr 2015 11:49:59 -0600
Subject: Rebuild for coq 8.4pl6.


diff --git a/zenon.spec b/zenon.spec
index 00e7482..cad628f 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -2,11 +2,11 @@
 %if !%{opt}
 %global debug_package %{nil}
 %endif
-%global coqver 8.4pl5
+%global coqver 8.4pl6
 
 Name:		zenon
 Version:	0.8.0
-Release:	3%{?dist}
+Release:	4%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
 Group:		Applications/Engineering
 License:	BSD
@@ -91,6 +91,9 @@ fi
 %{_mandir}/man5/*
 
 %changelog
+* Sat Apr 11 2015 Jerry James <loganjerry at gmail.com> - 0.8.0-4
+- Rebuild for coq 8.4pl6
+
 * Wed Jan  7 2015 Jerry James <loganjerry at gmail.com> - 0.8.0-3
 - Update URLs
 
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/zenon.git/commit/?h=f22&id=6f3ae67b842c3dc12c2e43b430e00c1a3eea88b3