[gappalib-coq] New upstream release.
Jerry James
jjames at fedoraproject.org
Mon Dec 12 17:31:54 UTC 2011
commit 8b3eff5f6ccab8e9aa4535a496bb157cabe025de
Author: Jerry James <loganjerry at gmail.com>
Date: Mon Dec 12 10:31:30 2011 -0700
New upstream release.
.gitignore | 2 +-
gappalib-coq.spec | 9 ++++++---
sources | 2 +-
3 files changed, 8 insertions(+), 5 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 339aacc..8bd0bd3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/gappalib-coq-0.16.0.tar.gz
+/gappalib-coq-0.17.0.tar.gz
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index a54c5c9..ccd78e6 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -10,14 +10,14 @@
%global coqver 8.3pl2
Name: gappalib-coq
-Version: 0.16.0
-Release: 3%{?dist}
+Version: 0.17.0
+Release: 1%{?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/28596/%{name}-%{version}.tar.gz
+Source0: https://gforge.inria.fr/frs/download.php/29908/%{name}-%{version}.tar.gz
BuildRequires: coq%{?_isa} = %{coqver}
BuildRequires: flocq
@@ -79,6 +79,9 @@ strip $RPM_BUILD_ROOT%{gappadir}/gappatac.cmxs
%{gappadir}/*.v
%changelog
+* Mon Dec 12 2011 Jerry James <loganjerry at gmail.com> - 0.17.0-1
+- New upstream release
+
* Sat Oct 29 2011 Jerry James <loganjerry at gmail.com> - 0.16.0-3
- BR ocaml
diff --git a/sources b/sources
index 4d9e5bf..28d47b2 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-dbcbe306383d22ec7f37736ee002a91c gappalib-coq-0.16.0.tar.gz
+782405faae188bc1b73151735f4ad371 gappalib-coq-0.17.0.tar.gz
More information about the scm-commits
mailing list