From a14350d932cb20a1b4f1e4b08f4e184d5044cf32 Mon Sep 17 00:00:00 2001
From: Richard W.M. Jones <rjones@redhat.com>
Date: Mar 02 2021 11:18:08 +0000
Subject: OCaml 4.12.0 build


---

diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index aea1627..e449119 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -11,7 +11,7 @@
 
 Name:           gappalib-coq
 Version:        1.4.6
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
@@ -95,6 +95,9 @@ remake check
 %{gappadir}/*.v
 
 %changelog
+* Tue Mar  2 11:18:07 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-4
+- OCaml 4.12.0 build
+
 * Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-3
 - Rebuild for coq 8.13.0