From 37a75cde619e8c481b284996fb1e7e3c06a6070e Mon Sep 17 00:00:00 2001
From: Richard W.M. Jones <rjones@redhat.com>
Date: Mar 02 2021 10:06:38 +0000
Subject: OCaml 4.12.0 build


---

diff --git a/coq.spec b/coq.spec
index 0532345..37fc3d2 100644
--- a/coq.spec
+++ b/coq.spec
@@ -15,7 +15,7 @@ ExcludeArch:    s390x
 
 Name:           coq
 Version:        8.13.0
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Proof management system
 
 License:        LGPLv2
@@ -348,6 +348,9 @@ cp -p coqide.opam %{buildroot}%{_libdir}/ocaml/coqide-server/opam
 %{coqdocdir}
 
 %changelog
+* Tue Mar  2 10:06:37 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.0-2
+- OCaml 4.12.0 build
+
 * Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 8.13.0-1
 - Version 8.13.0
 - Revert to make; dune is unable to build the native compilation version