From 071974bc4866803d68059da40d9d172f02c072d7 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 12 Jul 2023 01:10:59 +0100
Subject: [PATCH] OCaml 5.0 rebuild for Fedora 39

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

diff --git a/apron.spec b/apron.spec
index 62a538f..f27cf54 100644
--- a/apron.spec
+++ b/apron.spec
@@ -3,7 +3,7 @@
 Name:           apron
 Version:        0.9.14
 Summary:        Numerical abstract domain library
-Release:        0.1%{?prerel:.%{prerel}}%{?dist}
+Release:        0.2%{?prerel:.%{prerel}}%{?dist}
 
 # The entire package is LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
 # except newpolka/mf_qsort.c and ppl/*, all of which are GPL-2.0-or-later.
@@ -268,6 +268,9 @@ test/ctest1
 %endif
 
 %changelog
+* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-0.2.beta1
+- OCaml 5.0 rebuild for Fedora 39
+
 * Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-0.1.beta1
 - Update to 0.9.14-beta1 for OCaml 5.0 support
 - Drop upstreamed mpfr and custom-operations patches