[gappalib-coq] Rebuild for coq 8.4pl4.
Jerry James
jjames at fedoraproject.org
Tue May 13 22:27:55 UTC 2014
commit f0a6689b1e6c7159b0ad1701fd375b0ecc3c7f8f
Author: Jerry James <jamesjer at betterlinux.com>
Date: Tue May 13 16:27:41 2014 -0600
Rebuild for coq 8.4pl4.
gappalib-coq.spec | 8 +++++---
1 files changed, 5 insertions(+), 3 deletions(-)
---
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 7c6ee66..e4d59f1 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -4,14 +4,13 @@
# committing.
%global gappadir %{_libdir}/coq/user-contrib/Gappa
-%global coqver 8.4pl3
+%global coqver 8.4pl4
Name: gappalib-coq
Version: 1.0.0
-Release: 8%{?dist}
+Release: 9%{?dist}
Summary: Coq support library for gappa
-Group: Applications/Engineering
License: LGPLv2+
URL: http://gappa.gforge.inria.fr/
Source0: https://gforge.inria.fr/frs/download.php/32743/%{name}-%{version}.tar.gz
@@ -81,6 +80,9 @@ cp -p src/*.v %{buildroot}%{gappadir}
%{gappadir}/*.v
%changelog
+* Tue May 13 2014 Jerry James <loganjerry at gmail.com> - 1.0.0-9
+- Rebuild for coq 8.4pl4
+
* Mon Apr 21 2014 Jerry James <loganjerry at gmail.com> - 1.0.0-8
- Rebuild for flocq 2.3.0
More information about the scm-commits
mailing list