rpms/apron
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

OCaml 5.0 rebuild for Fedora 39

Browse Source
This commit is contained in:
Richard W.M. Jones 2023-07-12 01:10:59 +01:00
parent b47506e89c
commit 071974bc48
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
apron.spec
View File

@ -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