OCaml 5.2.0 for Fedora 41

This commit is contained in:
Richard W.M. Jones 2024-05-29 21:11:37 +01:00
parent 338f18b04c
commit 0d7c59866e

View File

@ -1,7 +1,7 @@
Name: apron
Version: 0.9.14
Summary: Numerical abstract domain library
Release: 7%{?dist}
Release: 8%{?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.
@ -287,6 +287,9 @@ test/ctest1
%endif
%changelog
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-8
- OCaml 5.2.0 for Fedora 41
* Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 0.9.14-7
- Add patch to fix an internal division case