From 0ef911691cc449d64fb3f9e7b71cb7cf1ebb002f Mon Sep 17 00:00:00 2001
From: Richard W.M. Jones <rjones@redhat.com>
Date: Jul 31 2019 21:41:49 +0000
Subject: OCaml 4.08.1 (rc2) rebuild.


---

diff --git a/coq.spec b/coq.spec
index f96659e..edff943 100644
--- a/coq.spec
+++ b/coq.spec
@@ -19,7 +19,7 @@
 
 Name:           coq
 Version:        8.9.1
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Proof management system
 
 License:        LGPLv2
@@ -140,7 +140,7 @@ for the latter is also included.
 Summary:        Python 3 runtime support for ANTLR4
 Epoch:          1
 Version:        %{antlr4ver}
-Release:        %{antlr4rel}
+Release:        %{antlr4rel}.1
 BuildArch:      noarch
 
 %description -n antlr4-python3-runtime
@@ -365,6 +365,9 @@ rm -f %{buildroot}%{coqdatadir}/libcoqrun.a
 %{python3_sitelib}/antlr4*
 
 %changelog
+* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 8.9.1-3
+- OCaml 4.08.1 (rc2) rebuild.
+
 * Mon Jul 29 2019 Jerry James <loganjerry@gmail.com> - 8.9.1-2
 - Bump Epoch on antlr4-python3-runtime due to decrease in version number
 - Work around pr_dump.cmo snafu with new ocaml-camlp5