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

OCaml 5.1.1 + s390x code gen fix for Fedora 40

Browse Source
This commit is contained in:
Richard W.M. Jones 2023-12-18 18:58:57 +00:00
parent 0a24ca74ce
commit 2e047d1e00
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 Name: apron
Version: 0.9.14 Version: 0.9.14
Summary: Numerical abstract domain library Summary: Numerical abstract domain library
Release: 3%{?dist} Release: 4%{?dist}
# The entire package is LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception # 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. # except newpolka/mf_qsort.c and ppl/*, all of which are GPL-2.0-or-later.
@ -282,6 +282,9 @@ test/ctest1
%endif %endif
%changelog %changelog
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-4
- OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-3 * Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-3
- OCaml 5.1.1 rebuild for Fedora 40 - OCaml 5.1.1 rebuild for Fedora 40