Compare commits

..

1 commit

Author SHA1 Message Date
Jerry James
1c0bd609f6 OCaml 5.2.1 rebuild for Fedora 41 2025-01-29 13:11:59 -07:00

View file

@ -10,11 +10,7 @@ Version: 2.18
Release: %autorelease Release: %autorelease
Summary: Decentralized cross-distribution software installation system 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 License: LGPL-2.1-or-later
SourceLicense: %{license} AND CC0-1.0 AND LicenseRef-Fedora-Public-Domain
URL: https://0install.net/ URL: https://0install.net/
VCS: git:%{giturl}.git VCS: git:%{giturl}.git
Source0: %{giturl}/releases/download/v%{version}/%{name}-%{version}.tbz Source0: %{giturl}/releases/download/v%{version}/%{name}-%{version}.tbz
@ -30,37 +26,38 @@ BuildRequires: ocaml >= 4.08
BuildRequires: ocaml-dune >= 2.5 BuildRequires: ocaml-dune >= 2.5
BuildRequires: ocaml-ounit2-devel BuildRequires: ocaml-ounit2-devel
%global _desc %{expand:Zero Install is a decentralized cross-distribution software installation %global _desc %{expand:
system. Other features include full support for shared libraries (with a SAT Zero Install is a decentralized cross-distribution software installation
solver for dependency resolution), sharing between users, and integration with system. Other features include full support for shared libraries (with
native platform package managers. It supports both binary and source a SAT solver for dependency resolution), sharing between users, and
packages, and works on Linux, macOS, Unix and Windows systems.} integration with native platform package managers. It supports both
binary and source packages, and works on Linux, macOS, Unix and Windows
systems.}
%description %description %_desc
%_desc
%package -n ocaml-0install-solver %package -n ocaml-0install-solver
Summary: Package dependency solver Summary: Package dependency solver
%description -n ocaml-0install-solver %description -n ocaml-0install-solver %_desc
%_desc
This package contains a package dependency resolver based on a SAT solver. This package contains a package dependency resolver based on a SAT
This was originally written for the 0install package manager, but is now solver. This was originally written for the 0install package manager,
generic and is also used as a solver backend for opam. 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 The SAT solver is based on MiniSat (http://minisat.se/Papers.html) and
application to package management is based on OPIUM (Optimal Package the application to package management is based on OPIUM (Optimal Package
Install/Uninstall Manager). 0install-solver uses a (novel?) strategy to find Install/Uninstall Manager). 0install-solver uses a (novel?) strategy to
the optimal solution extremely quickly (even for a SAT-based solver). find the optimal solution extremely quickly (even for a SAT-based
solver).
%package -n ocaml-0install-solver-devel %package -n ocaml-0install-solver-devel
Summary: Development files for %{name}-solver Summary: Development files for %{name}-solver
Requires: ocaml-0install-solver%{?_isa} = %{version}-%{release} Requires: ocaml-0install-solver%{?_isa} = %{version}-%{release}
%description -n ocaml-0install-solver-devel %description -n ocaml-0install-solver-devel
The %{name}-solver-devel package contains libraries and signature files for The %{name}-solver-devel package contains libraries and signature files
developing applications that use %{name}-solver. for developing applications that use %{name}-solver.
%prep %prep
%{gpgverify} --data=%{SOURCE0} --signature=%{SOURCE1} --keyring=%{SOURCE2} %{gpgverify} --data=%{SOURCE0} --signature=%{SOURCE1} --keyring=%{SOURCE2}