[gappalib-coq] Rebuild for coq 8.3pl4, OCaml 4.00.0, and gappa 0.16.1.
Jerry James
jjames at fedoraproject.org
Sun Jul 29 04:17:35 UTC 2012
commit 697470f1dea5b2f548822213894542941fa201ed
Author: Jerry James <loganjerry at gmail.com>
Date: Sat Jul 28 22:17:12 2012 -0600
Rebuild for coq 8.3pl4, OCaml 4.00.0, and gappa 0.16.1.
gappalib-coq.spec | 7 +++++--
1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 93be423..bf0b765 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -7,11 +7,11 @@
# to debuginfo generation.
%global debug_package %{nil}
%global gappadir %{_libdir}/coq/user-contrib/Gappa
-%global coqver 8.3pl3
+%global coqver 8.3pl4
Name: gappalib-coq
Version: 0.18.0
-Release: 2%{?dist}
+Release: 3%{?dist}
Summary: Coq support library for gappa
Group: Applications/Engineering
@@ -79,6 +79,9 @@ strip $RPM_BUILD_ROOT%{gappadir}/gappatac.cmxs
%{gappadir}/*.v
%changelog
+* Sat Jul 28 2012 Jerry James <loganjerry at gmail.com> - 0.18.0-3
+- Rebuild for coq 8.3pl4, OCaml 4.00.0, and gappa 0.16.1
+
* Thu Jul 19 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.18.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
More information about the scm-commits
mailing list