Compare commits
1 commit
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
1c0bd609f6 |
1 changed files with 19 additions and 22 deletions
|
|
@ -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}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue