From 97ec4d0e75902e09841c7de764055487afef384b Mon Sep 17 00:00:00 2001 From: Jerry James Date: Thu, 9 Jan 2025 20:32:12 -0700 Subject: [PATCH 1/9] OCaml 5.3.0 rebuild for Fedora 42 From 877a8490da4f140e47ff2f833aee07279067fd6d Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Thu, 16 Jan 2025 08:19:05 +0000 Subject: [PATCH 2/9] Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild From 3709a02e99634f72cb94d05786a5f10db20f34ec Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Mon, 20 Jan 2025 07:15:35 +0000 Subject: [PATCH 3/9] Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild From 1c0bd609f6c154ed08c55d4f4799a4a6d75258fb Mon Sep 17 00:00:00 2001 From: Jerry James Date: Wed, 29 Jan 2025 13:11:59 -0700 Subject: [PATCH 4/9] OCaml 5.2.1 rebuild for Fedora 41 From 37531e4dec4b97489dbc4531e44f1896be0f9d90 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Sat, 12 Jul 2025 12:58:01 -0600 Subject: [PATCH 5/9] Rebuild to fix OCaml dependencies From db5ed30e92912cef9def97778f39ef961c07c3f9 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 23 Jul 2025 15:38:46 +0000 Subject: [PATCH 6/9] Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild From 704bfe19d95f75481dc4a7e7da0d1cd52d9df73a Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 14 Oct 2025 09:43:06 +0100 Subject: [PATCH 7/9] OCaml 5.4.0 rebuild From 7a3940cea22ee9eb3a721a8709a5382d74f7b1e7 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Fri, 9 Jan 2026 11:53:07 -0700 Subject: [PATCH 8/9] Reflow the description text - Add a SourceLicense tag --- 0install.spec | 41 ++++++++++++++++++++++------------------- 1 file changed, 22 insertions(+), 19 deletions(-) diff --git a/0install.spec b/0install.spec index 7a14e06..f0f7838 100644 --- a/0install.spec +++ b/0install.spec @@ -10,7 +10,11 @@ Version: 2.18 Release: %autorelease Summary: Decentralized cross-distribution software installation system +# LGPL-2.1-or-later: the project as a whole +# CC0-1.0: share/metainfo/0install.appdata.xml +# LicenseRef-Fedora-Public-Domain: src/sample_client.py License: LGPL-2.1-or-later +SourceLicense: %{license} AND CC0-1.0 AND LicenseRef-Fedora-Public-Domain URL: https://0install.net/ VCS: git:%{giturl}.git Source0: %{giturl}/releases/download/v%{version}/%{name}-%{version}.tbz @@ -26,38 +30,37 @@ BuildRequires: ocaml >= 4.08 BuildRequires: ocaml-dune >= 2.5 BuildRequires: ocaml-ounit2-devel -%global _desc %{expand: -Zero Install is a decentralized cross-distribution software installation -system. Other features include full support for shared libraries (with -a SAT solver for dependency resolution), sharing between users, and -integration with native platform package managers. It supports both -binary and source packages, and works on Linux, macOS, Unix and Windows -systems.} +%global _desc %{expand:Zero Install is a decentralized cross-distribution software installation +system. Other features include full support for shared libraries (with a SAT +solver for dependency resolution), sharing between users, and integration with +native platform package managers. It supports both binary and source +packages, and works on Linux, macOS, Unix and Windows systems.} -%description %_desc +%description +%_desc %package -n ocaml-0install-solver Summary: Package dependency solver -%description -n ocaml-0install-solver %_desc +%description -n ocaml-0install-solver +%_desc -This package contains a package dependency resolver based on a SAT -solver. This was originally written for the 0install package manager, -but is now generic and is also used as a solver backend for opam. +This package contains a package dependency resolver based on a SAT solver. +This was originally written for the 0install package manager, but is now +generic and is also used as a solver backend for opam. -The SAT solver is based on MiniSat (http://minisat.se/Papers.html) and -the application to package management is based on OPIUM (Optimal Package -Install/Uninstall Manager). 0install-solver uses a (novel?) strategy to -find the optimal solution extremely quickly (even for a SAT-based -solver). +The SAT solver is based on MiniSat (http://minisat.se/Papers.html) and the +application to package management is based on OPIUM (Optimal Package +Install/Uninstall Manager). 0install-solver uses a (novel?) strategy to find +the optimal solution extremely quickly (even for a SAT-based solver). %package -n ocaml-0install-solver-devel Summary: Development files for %{name}-solver Requires: ocaml-0install-solver%{?_isa} = %{version}-%{release} %description -n ocaml-0install-solver-devel -The %{name}-solver-devel package contains libraries and signature files -for developing applications that use %{name}-solver. +The %{name}-solver-devel package contains libraries and signature files for +developing applications that use %{name}-solver. %prep %{gpgverify} --data=%{SOURCE0} --signature=%{SOURCE1} --keyring=%{SOURCE2} From bacdf6c7ea2ce6bf0ee0988318a1d29a85c082ec Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Fri, 16 Jan 2026 02:25:10 +0000 Subject: [PATCH 9/9] Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild