[zenon] Rebuild for coq 8.4pl1.
Jerry James
jjames at fedoraproject.org
Mon Jan 7 19:17:29 UTC 2013
commit c3d96ee97049ab459542075b1baf37494a6c006f
Author: Jerry James <jamesjer at betterlinux.com>
Date: Mon Jan 7 12:17:17 2013 -0700
Rebuild for coq 8.4pl1.
zenon.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/zenon.spec b/zenon.spec
index 2daebd6..263350b 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -4,7 +4,7 @@
Name: zenon
Version: 0.7.1
-Release: 3%{?dist}
+Release: 4%{?dist}
Summary: Automated theorem prover for first-order classical logic
Group: Applications/Engineering
License: BSD
@@ -109,6 +109,9 @@ fi
%{_mandir}/man5/*
%changelog
+* Mon Jan 7 2013 Jerry James <loganjerry at gmail.com> - 0.7.1-4
+- Rebuild for coq 8.4pl1
+
* Thu Dec 13 2012 Jerry James <loganjerry at gmail.com> - 0.7.1-3
- Rebuild for OCaml 4.00.1
More information about the scm-commits
mailing list