From 867d31e461c2958ebfe06bb82a3971807451e446 Mon Sep 17 00:00:00 2001
From: Jerry James <jamesjer@betterlinux.com>
Date: Jul 03 2013 15:29:26 +0000
Subject: New upstream release.


---

diff --git a/.gitignore b/.gitignore
index a00dadb..3c17df5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/gappalib-coq-0.20.0.tar.gz
+/gappalib-coq-0.21.1.tar.gz
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 0b7d24d..2488433 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -10,14 +10,14 @@
 %global coqver 8.4pl2
 
 Name:           gappalib-coq
-Version:        0.20.0
+Version:        0.21.1
 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/32296/%{name}-%{version}.tar.gz
+Source0:        https://gforge.inria.fr/frs/download.php/32673/%{name}-%{version}.tar.gz
 
 BuildRequires:  coq%{?_isa} = %{coqver}
 BuildRequires:  flocq
@@ -87,6 +87,9 @@ strip %{buildroot}%{gappadir}/gappatac.cmxs
 %{gappadir}/*.v
 
 %changelog
+* Wed Jul  3 2013 Jerry James <loganjerry@gmail.com> - 0.21.1-1
+- New upstream release
+
 * Tue May 14 2013 Jerry James <loganjerry@gmail.com> - 0.20.0-1
 - New upstream release
 
diff --git a/sources b/sources
index d09f050..b52d0e6 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-2fd95f4757f815a0e2f8c0a3d137b8a7  gappalib-coq-0.20.0.tar.gz
+ef2a0502df6083562677fcd54c2b8f7d  gappalib-coq-0.21.1.tar.gz