From 1bf9db5b9227fab10cfa3c906dc0bb3a7a627f89 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 1 Sep 2020 20:33:10 +0100
Subject: [PATCH] OCaml 4.11.1 rebuild

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

diff --git a/apron.spec b/apron.spec
index 4f74d40..4902850 100644
--- a/apron.spec
+++ b/apron.spec
@@ -1,6 +1,6 @@
 Name:           apron
 Version:        0.9.12
-Release:        9%{?dist}
+Release:        10%{?dist}
 Summary:        Numerical abstract domain library
 
 # The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of
@@ -235,6 +235,9 @@ test/ctest1
 %{_jnidir}/*.so
 
 %changelog
+* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-10
+- OCaml 4.11.1 rebuild
+
 * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-9
 - OCaml 4.11.0 rebuild