From 3e6cd89325c3317fe99e3f2c8c0aeae7d851430a Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Feb 12 2016 15:51:51 +0000
Subject: New upstream release.


Also, use camlp4 in preference to camlp5.

---

diff --git a/.gitignore b/.gitignore
index 244daa9..260d7a3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,2 @@
-/gappalib-coq-1.1.0.tar.gz
 /gappalib-coq-1.2.0.tar.gz
+/gappalib-coq-1.2.1.tar.gz
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 86f2e22..2ba7fcf 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -4,22 +4,22 @@
 # committing.
 
 %global gappadir %{_libdir}/coq/user-contrib/Gappa
-%global coqver 8.4pl6
+%global coqver 8.5
 
 Name:           gappalib-coq
-Version:        1.2.0
-Release:        2%{?dist}
+Version:        1.2.1
+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/35093/%{name}-%{version}.tar.gz
+Source0:        https://gforge.inria.fr/frs/download.php/file/35538/%{name}-%{version}.tar.gz
 
-BuildRequires:  coq%{?_isa} = %{coqver}
+BuildRequires:  coq = %{coqver}
 BuildRequires:  flocq
 BuildRequires:  gappa
 BuildRequires:  ocaml
-BuildRequires:  ocaml-camlp5-devel
+BuildRequires:  ocaml-camlp4-devel
 BuildRequires:  remake
 
 Requires:       coq%{?_isa} = %{coqver}
@@ -84,6 +84,10 @@ cp -p src/*.v  %{buildroot}%{gappadir}
 %{gappadir}/*.v
 
 %changelog
+* Fri Feb 12 2016 Jerry James <loganjerry@gmail.com> - 1.2.1-1
+- New upstream release
+- Use camlp4 in preference to camlp5
+
 * Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.0-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
 
diff --git a/sources b/sources
index 6ddf9a0..1c8604c 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-08fdb9161c7e025111ef07a4914e5593  gappalib-coq-1.2.0.tar.gz
+6ccfeba7ca1ba4ea15c34390271f2877  gappalib-coq-1.2.1.tar.gz