[gappalib-coq] New upstream release.

[Jerry James]

commit 1ef6caddb1413e733253c55da57ddcae45d7cbff
Author: Jerry James <loganjerry at gmail.com>
Date:   Mon Jan 9 11:47:45 2012 -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 8bd0bd3..decbcbb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/gappalib-coq-0.17.0.tar.gz
+/gappalib-coq-0.18.0.tar.gz
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index e5a2e6a..2481dd6 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -10,14 +10,14 @@
 %global coqver 8.3pl3
 
 Name:           gappalib-coq
-Version:        0.17.0
-Release:        2%{?dist}
+Version:        0.18.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/29908/%{name}-%{version}.tar.gz
+Source0:        https://gforge.inria.fr/frs/download.php/30081/%{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 Jan  9 2012 Jerry James <loganjerry at gmail.com> - 0.18.0-1
+- New upstream release
+
 * Tue Dec 27 2011 Jerry James <loganjerry at gmail.com> - 0.17.0-2
 - Rebuild for coq 8.3pl3
 
diff --git a/sources b/sources
index 28d47b2..b0ca90b 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-782405faae188bc1b73151735f4ad371  gappalib-coq-0.17.0.tar.gz
+b5f05f6044d7e66b48c88d8cf5452360  gappalib-coq-0.18.0.tar.gz