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

ocaml-mccs-1.1.19-2.mga10 RPM for armv7hl

From Mageia Cauldron for armv7hl / media / core / release

Name: ocaml-mccs Distribution: Mageia
Version: 1.1.19 Vendor: Mageia.Org
Release: 2.mga10 Build date: Sun Mar 30 20:44:48 2025
Group: Development/OCaml Build host: localhost
Size: 354712 Source RPM: ocaml-mccs-1.1.19-2.mga10.src.rpm
Packager: pterjan <pterjan>
Url: https://github.com/AltGr/ocaml-mccs
Summary: Multi Criteria CUDF Solver with OCaml bindings
mccs (which stands for Multi Criteria CUDF Solver) is a CUDF problem
solver developed at UNS during the European MANCOOSI project.

This project contains a stripped-down version of the mccs solver,
taken from snapshot 1.1, with a binding as an OCaml library, and
building with dune.

The binding enables interoperation with binary CUDF data from the
OCaml CUDF library, and removes the native C++ parsers and printers.

Provides

Requires

License

BSD and LGPLv3+ with exceptions

Changelog

* Sun Mar 30 2025 pterjan <pterjan> 1.1.19-2.mga10
  + Revision: 2171901
  - Fix depenedency
  - Update to 19

Files

/usr/lib/.build-id
/usr/lib/.build-id/20
/usr/lib/.build-id/20/d7ec1d21d01abed613963580ec5a1a5d731b05
/usr/lib/.build-id/88
/usr/lib/.build-id/88/0e43a967126f2dd10cd018b5291c95b663dead
/usr/lib/.build-id/88/71ed8b3edd68a84c7cf3d915a676ee2c3e94f9
/usr/lib/ocaml/mccs
/usr/lib/ocaml/mccs/META
/usr/lib/ocaml/mccs/glpk/shared
/usr/lib/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cma
/usr/lib/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cmxs
/usr/lib/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.cmi
/usr/lib/ocaml/mccs/mccs.cma
/usr/lib/ocaml/mccs/mccs.cmi
/usr/lib/ocaml/mccs/mccs.cmxs
/usr/lib/ocaml/stublibs/dllmccs_stubs.so
/usr/share/doc/ocaml-mccs
/usr/share/doc/ocaml-mccs/README.md
/usr/share/licenses/ocaml-mccs
/usr/share/licenses/ocaml-mccs/LICENCE


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 1 05:46:33 2025