From 0a24ca74ce4015ab0cb477fe1aeda836bafb49d9 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 12 Dec 2023 18:48:44 +0000
Subject: [PATCH] OCaml 5.1.1 rebuild for Fedora 40

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

diff --git a/apron.spec b/apron.spec
index 1e78b20..2dc45c7 100644
--- a/apron.spec
+++ b/apron.spec
@@ -1,7 +1,7 @@
 Name:           apron
 Version:        0.9.14
 Summary:        Numerical abstract domain library
-Release:        2%{?dist}
+Release:        3%{?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.
@@ -282,6 +282,9 @@ test/ctest1
 %endif
 
 %changelog
+* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-3
+- OCaml 5.1.1 rebuild for Fedora 40
+
 * Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-2
 - OCaml 5.1 rebuild for Fedora 40