Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-cudf-0.10-1.mga10 RPM for x86_64

From Mageia Cauldron for x86_64 / media / core / release

Name: ocaml-cudf Distribution: Mageia
Version: 0.10 Vendor: Mageia.Org
Release: 1.mga10 Build date: Fri Apr 4 16:32:22 2025
Group: Development/OCaml Build host: localhost
Size: 3698363 Source RPM: ocaml-cudf-0.10-1.mga10.src.rpm
Packager: pterjan <pterjan>
Url: https://www.mancoosi.org/cudf/
Summary: Format for describing upgrade scenarios
CUDF (for Common Upgradeability Description Format) is a format for
describing upgrade scenarios in package-based Free and Open Source
Software distribution.

In every such scenario there exists a package universe (i.e. a set
of packages) known to a package manager application, a package status
(i.e. the currently installed packages), and a user request (i.e. a
wish to change the set of installed packages) that need to be
fulfilled.

CUDF permits to describe an upgrade scenario in a way that is
both distribution-independent and package-manager-independent.

CUDF offers a rigorous semantics of dependency solving that
enables to independently check the correctness of upgrade
solutions proposed by package managers.

CUDF adoption would enable to share dependency solver components
across different package managers, both intra- and
inter-distributions.

Provides

Requires

License

LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception

Changelog

* Fri Apr 04 2025 pterjan <pterjan> 0.10-1.mga10
  + Revision: 2173465
  - imported package ocaml-cudf

Files

/usr/bin/cudf-check
/usr/bin/cudf-parse-822
/usr/lib/.build-id
/usr/lib/.build-id/1d
/usr/lib/.build-id/1d/ce12237170a8b62c959fcd73776b375917decb
/usr/lib/.build-id/3f
/usr/lib/.build-id/3f/8b97b1fca7b87b9fe720650afd54a41863e7e7
/usr/lib/.build-id/c2
/usr/lib/.build-id/c2/d63ba07fec5304eb7cfceb9dd9673573d1536d
/usr/lib64/ocaml/cudf
/usr/lib64/ocaml/cudf/META
/usr/lib64/ocaml/cudf/cudf.cma
/usr/lib64/ocaml/cudf/cudf.cmi
/usr/lib64/ocaml/cudf/cudf.cmxs
/usr/lib64/ocaml/cudf/cudf_822_lexer.cmi
/usr/lib64/ocaml/cudf/cudf_822_parser.cmi
/usr/lib64/ocaml/cudf/cudf_checker.cmi
/usr/lib64/ocaml/cudf/cudf_conf.cmi
/usr/lib64/ocaml/cudf/cudf_parser.cmi
/usr/lib64/ocaml/cudf/cudf_printer.cmi
/usr/lib64/ocaml/cudf/cudf_type_lexer.cmi
/usr/lib64/ocaml/cudf/cudf_type_parser.cmi
/usr/lib64/ocaml/cudf/cudf_types.cmi
/usr/lib64/ocaml/cudf/cudf_types_pp.cmi
/usr/share/doc/ocaml-cudf
/usr/share/doc/ocaml-cudf/README
/usr/share/licenses/ocaml-cudf
/usr/share/licenses/ocaml-cudf/COPYING
/usr/share/man/man1/cudf-check.1.xz


Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 09:02:51 2025