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

OCaml 5.1 rebuild for Fedora 40

Browse Source
This commit is contained in:
Richard W.M. Jones 2023-10-05 20:46:24 +01:00
parent 527424027b
commit 9a6dccdd13
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

@ -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 <rjones@redhat.com> - 0.9.14-2
- OCaml 5.1 rebuild for Fedora 40
* Wed Oct 4 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-1
- Add upstream patch for a japron hasVar bug