[zenon] Rebuild for coq 8.4pl3. Enable debuginfo generation.
Jerry James
jjames at fedoraproject.org
Wed Dec 18 17:44:19 UTC 2013
commit eaf7d02c7a545f907825d248608a46fffa16a7c7
Author: Jerry James <jamesjer at betterlinux.com>
Date: Wed Dec 18 10:44:19 2013 -0700
Rebuild for coq 8.4pl3.
Enable debuginfo generation.
zenon.spec | 8 +++++---
1 files changed, 5 insertions(+), 3 deletions(-)
---
diff --git a/zenon.spec b/zenon.spec
index c9ad27d..0acaf41 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -1,10 +1,8 @@
-# Don't create debuginfo; it's not particularly useful for OCaml programs.
-%global debug_package %{nil}
%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
Name: zenon
Version: 0.7.1
-Release: 7%{?dist}
+Release: 8%{?dist}
Summary: Automated theorem prover for first-order classical logic
Group: Applications/Engineering
License: BSD
@@ -109,6 +107,10 @@ fi
%{_mandir}/man5/*
%changelog
+* Wed Dec 18 2013 Jerry James <loganjerry at gmail.com> - 0.7.1-8
+- Rebuild for coq 8.4pl3
+- Enable debuginfo generation
+
* Sun Aug 04 2013 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.7.1-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
More information about the scm-commits
mailing list