jjames pushed to zenon (master). "Rebuild for coq 8.4pl6."
notifications at fedoraproject.org
notifications at fedoraproject.org
Sat Apr 11 17:50:11 UTC 2015
>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=master&id=6f3ae67b842c3dc12c2e43b430e00c1a3eea88b3
More information about the scm-commits
mailing list