diff --git a/apron.spec b/apron.spec index 4e9e896..168b8a2 100644 --- a/apron.spec +++ b/apron.spec @@ -5,10 +5,12 @@ Version: 0.9.13 Release: 13%{?dist} Summary: Numerical abstract domain library -# The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of -# which are GPLv2+. This means that libpolkaMPQ.so.*, libpolkaRll.so.*, and -# libap_ppl.so.* are GPLv2+, and the other libraries are all LGPLv2+. -License: LGPLv2+ and GPLv2+ +# 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. +# This means that libpolkaMPQ.so.*, libpolkaRll.so.*, and libap_ppl.so.* are +# GPL-2.0-or-later, and the other libraries are all LGPL-2.1-or-later WITH +# OCaml-LGPL-linking-exception. +License: LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later URL: https://antoinemine.github.io/Apron/doc/ Source0: https://github.com/antoinemine/%{name}/archive/v%{version}/%{name}-%{version}.tar.gz # This patch has not been sent upstream as it is GCC-specific. Certain @@ -80,6 +82,7 @@ developing applications that use %{name}. %package -n ocaml-%{name} Summary: Ocaml interface to APRON +License: LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception Requires: %{name}%{?_isa} = %{version}-%{release} %description -n ocaml-%{name} @@ -87,6 +90,7 @@ Ocaml interface to the APRON library. %package -n ocaml-%{name}-devel Summary: Development files for the Ocaml interface to APRON +License: LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception Requires: ocaml-%{name}%{?_isa} = %{version}-%{release} Requires: %{name}-devel%{?_isa} = %{version}-%{release} @@ -96,6 +100,7 @@ Development files for the Ocaml interface to the APRON library. %ifarch %{java_arches} %package -n japron Summary: Java interface to APRON +License: LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception Requires: %{name}%{?_isa} = %{version}-%{release} Requires: javapackages-filesystem @@ -252,6 +257,9 @@ test/ctest1 %endif %changelog +* Thu Aug 11 2022 Jerry James - 0.9.13-13 +- Convert License tag to SPDX + * Wed Jul 20 2022 Fedora Release Engineering - 0.9.13-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild