From 3a995b9be69cf576cf0ecc837cadbcd7252f8e04 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Mon, 1 Mar 2021 17:06:23 +0000
Subject: [PATCH] OCaml 4.12.0 build

---
 ocaml-tplib.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ocaml-tplib.spec b/ocaml-tplib.spec
index 01c45ac..3d771e9 100644
--- a/ocaml-tplib.spec
+++ b/ocaml-tplib.spec
@@ -1,6 +1,6 @@
 Name:           ocaml-tplib
 Version:        1.3
-Release:        58%{?dist}
+Release:        59%{?dist}
 Summary:        Tropical Polyhedra Library
 
 License:        LGPLv2+
@@ -123,6 +123,9 @@ _build/tests/test_tplib_rational
 %doc %{_mandir}/man1/*
 
 %changelog
+* Mon Mar  1 17:06:22 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 1.3-59
+- OCaml 4.12.0 build
+
 * Wed Feb 17 2021 Jerry James <loganjerry@gmail.com> - 1.3-58
 - Bump and rebuild for updated ocaml Dynlink dependency