[zenon] Rebuild for OCaml 3.12.1.
Jerry James
jjames at fedoraproject.org
Mon Jan 9 18:57:36 UTC 2012
commit 1544045a79a081b92d38769f8b39ad32862b4562
Author: Jerry James <loganjerry at gmail.com>
Date: Mon Jan 9 11:57:25 2012 -0700
Rebuild for OCaml 3.12.1.
zenon.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/zenon.spec b/zenon.spec
index 8236206..67c4d41 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -4,7 +4,7 @@
Name: zenon
Version: 0.6.3
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: Automated theorem prover for first-order classical logic
Group: Applications/Engineering
License: BSD
@@ -84,6 +84,9 @@ fi
%{_mandir}/man5/*
%changelog
+* Mon Jan 9 2012 Jerry James <loganjerry at gmail.com> - 0.6.3-5
+- Rebuild for OCaml 3.12.1
+
* Tue Dec 27 2011 Jerry James <loganjerry at gmail.com> - 0.6.3-4
- Rebuild for coq 8.3pl3
More information about the scm-commits
mailing list