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

OCaml 5.1.1 rebuild for Fedora 40

Browse Source
This commit is contained in:
Richard W.M. Jones 2023-12-12 18:48:44 +00:00
parent 9a6dccdd13
commit 0a24ca74ce
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: 2%{?dist}
Release: 3%{?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
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-3
- OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-2
- OCaml 5.1 rebuild for Fedora 40