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-3.mga10 RPM for i686

From Mageia Cauldron for i686 / media / core / release

Name: ocaml-mccs Distribution: Mageia
Version: 1.1.19 Vendor: Mageia.Org
Release: 3.mga10 Build date: Tue Apr 1 12:41:25 2025
Group: Development/OCaml Build host: localhost
Size: 439888 Source RPM: ocaml-mccs-1.1.19-3.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

* Tue Apr 01 2025 pterjan <pterjan> 1.1.19-3.mga10
  + Revision: 2172400
  - Fix dependencies on 32 bit
* 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/45
/usr/lib/.build-id/45/e46b89cc8c28132c11e9a3ddf3e39a594457be
/usr/lib/.build-id/bc
/usr/lib/.build-id/bc/f16a4e6b11a1ea1c9b4611097c9212605c82ba
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/ee6b8c7adf6da7d1e84931ea7f23e2c8013ab9
/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, Thu Apr 3 04:40:56 2025