From 9a6dccdd139efaecb2fa21fae0fd4936729b5e43 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 5 Oct 2023 20:46:24 +0100 Subject: [PATCH] OCaml 5.1 rebuild for Fedora 40 --- apron.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/apron.spec b/apron.spec index b7fa2ae..1e78b20 100644 --- a/apron.spec +++ b/apron.spec @@ -1,7 +1,7 @@ Name: apron Version: 0.9.14 Summary: Numerical abstract domain library -Release: 1%{?dist} +Release: 2%{?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 +* Thu Oct 05 2023 Richard W.M. Jones - 0.9.14-2 +- OCaml 5.1 rebuild for Fedora 40 + * Wed Oct 4 2023 Jerry James - 0.9.14-1 - Add upstream patch for a japron hasVar bug