From 6f535c93d2d4bb1a043c1755804a6510b775defc Mon Sep 17 00:00:00 2001
From: Richard W.M. Jones <rjones@redhat.com>
Date: Oct 05 2021 12:47:11 +0000
Subject: OCaml 4.13.1 build


---

diff --git a/coq.spec b/coq.spec
index 5fd9b0a..f5a4d2c 100644
--- a/coq.spec
+++ b/coq.spec
@@ -12,7 +12,7 @@
 
 Name:           coq
 Version:        8.13.2
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        Proof management system
 
 License:        LGPLv2
@@ -345,6 +345,9 @@ cp -p coqide.opam %{buildroot}%{_libdir}/ocaml/coqide-server/opam
 %{coqdocdir}
 
 %changelog
+* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.2-5
+- OCaml 4.13.1 build
+
 * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 8.13.2-4
 - Try to build on s390x with OCaml 4.13