[zenon] Rebuild for coq 8.4pl4.
Jerry James
jjames at fedoraproject.org
Tue May 13 22:27:03 UTC 2014
commit 37b1c0bc60d5d35381909f44ab3aa16bab5a9f7d
Author: Jerry James <jamesjer at betterlinux.com>
Date: Tue May 13 16:26:46 2014 -0600
Rebuild for coq 8.4pl4.
zenon.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/zenon.spec b/zenon.spec
index 4aae9c5..409bd3d 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -2,7 +2,7 @@
Name: zenon
Version: 0.7.1
-Release: 10%{?dist}
+Release: 11%{?dist}
Summary: Automated theorem prover for first-order classical logic
Group: Applications/Engineering
License: BSD
@@ -106,6 +106,9 @@ fi
%{_mandir}/man5/*
%changelog
+* Tue May 13 2014 Jerry James <loganjerry at gmail.com> - 0.7.1-11
+- Rebuild for coq 8.4pl4
+
* Fri Apr 18 2014 Jerry James <loganjerry at gmail.com> - 0.7.1-10
- Remove ocaml_arches macro (bz 1087794)
More information about the scm-commits
mailing list