From ce68e36c53e7dd87c7363c256ad9dc801b5848bf Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Dec 01 2016 19:02:16 +0000
Subject: New upstream release.


---

diff --git a/.gitignore b/.gitignore
index 6efbfc8..aac72ba 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@
 /gappalib-coq-1.2.1.tar.gz
 /gappalib-coq-1.3.0.tar.gz
 /gappalib-coq-1.3.1.tar.gz
+/gappalib-coq-1.3.2.tar.gz
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 610900a..32a9f8c 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -11,13 +11,13 @@
 %global coqver 8.5pl3
 
 Name:           gappalib-coq
-Version:        1.3.1
-Release:        4%{?dist}
+Version:        1.3.2
+Release:        1%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
 URL:            http://gappa.gforge.inria.fr/
-Source0:        https://gforge.inria.fr/frs/download.php/file/36210/%{name}-%{version}.tar.gz
+Source0:        https://gforge.inria.fr/frs/download.php/file/36350/%{name}-%{version}.tar.gz
 # Patch to work with camlp4
 Patch0:         %{name}-camlp4.patch
 
@@ -91,6 +91,9 @@ cp -p src/*.v  %{buildroot}%{gappadir}
 %{gappadir}/*.v
 
 %changelog
+* Mon Nov 28 2016 Jerry James <loganjerry@gmail.com> - 1.3.2-1
+- New upstream release
+
 * Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.3.1-4
 - Rebuild for OCaml 4.04.0.
 
diff --git a/sources b/sources
index bf0324f..77c2773 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-984289243537a12fe67047440e277eb2  gappalib-coq-1.3.1.tar.gz
+d0374859edfc92f490ac291bbcea3341  gappalib-coq-1.3.2.tar.gz