Compare commits
8 commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
bacdf6c7ea | ||
|
|
7a3940cea2 | ||
|
|
704bfe19d9 | ||
|
|
db5ed30e92 | ||
|
|
37531e4dec | ||
|
|
3709a02e99 | ||
|
|
877a8490da | ||
|
|
97ec4d0e75 |
1 changed files with 22 additions and 19 deletions
|
|
@ -10,7 +10,11 @@ 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
|
||||||
|
|
@ -26,38 +30,37 @@ 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:
|
%global _desc %{expand:Zero Install is a decentralized cross-distribution software installation
|
||||||
Zero Install is a decentralized cross-distribution software installation
|
system. Other features include full support for shared libraries (with a SAT
|
||||||
system. Other features include full support for shared libraries (with
|
solver for dependency resolution), sharing between users, and integration with
|
||||||
a SAT solver for dependency resolution), sharing between users, and
|
native platform package managers. It supports both binary and source
|
||||||
integration with native platform package managers. It supports both
|
packages, and works on Linux, macOS, Unix and Windows systems.}
|
||||||
binary and source packages, and works on Linux, macOS, Unix and Windows
|
|
||||||
systems.}
|
|
||||||
|
|
||||||
%description %_desc
|
%description
|
||||||
|
%_desc
|
||||||
|
|
||||||
%package -n ocaml-0install-solver
|
%package -n ocaml-0install-solver
|
||||||
Summary: Package dependency 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
|
This package contains a package dependency resolver based on a SAT solver.
|
||||||
solver. This was originally written for the 0install package manager,
|
This was originally written for the 0install package manager, but is now
|
||||||
but is now generic and is also used as a solver backend for opam.
|
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 SAT solver is based on MiniSat (http://minisat.se/Papers.html) and the
|
||||||
the application to package management is based on OPIUM (Optimal Package
|
application to package management is based on OPIUM (Optimal Package
|
||||||
Install/Uninstall Manager). 0install-solver uses a (novel?) strategy to
|
Install/Uninstall Manager). 0install-solver uses a (novel?) strategy to find
|
||||||
find the optimal solution extremely quickly (even for a SAT-based
|
the optimal solution extremely quickly (even for a SAT-based solver).
|
||||||
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
|
The %{name}-solver-devel package contains libraries and signature files for
|
||||||
for developing applications that use %{name}-solver.
|
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