From ac0371a7c87cb848a1f06a800447e918a9829a0a Mon Sep 17 00:00:00 2001
From: Richard W.M. Jones <rjones@redhat.com>
Date: Nov 07 2016 16:27:50 +0000
Subject: Rebuild for OCaml 4.04.0.


---

diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 1159898..610900a 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -12,7 +12,7 @@
 
 Name:           gappalib-coq
 Version:        1.3.1
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
@@ -91,6 +91,9 @@ cp -p src/*.v  %{buildroot}%{gappadir}
 %{gappadir}/*.v
 
 %changelog
+* Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.3.1-4
+- Rebuild for OCaml 4.04.0.
+
 * Fri Oct 28 2016 Jerry James <loganjerry@gmail.com> - 1.3.1-3
 - Rebuild for coq 8.5pl3