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

ocaml-mccs-1.1-11.mga9 RPM for i586

From Mageia Cauldron for i586 / media / core / release

Name: ocaml-mccs Distribution: Mageia
Version: 1.1 Vendor: Mageia.Org
Release: 11.mga9 Build date: Fri May 20 16:53:29 2022
Group: Development/OCaml Build host: localhost
Size: 485237 Source RPM: ocaml-mccs-1.1-11.mga9.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

* Fri May 20 2022 pterjan <pterjan> 1.1-11.mga9
  + Revision: 1859450
  - Rebuild for OCaml 4.14
* Fri Oct 15 2021 tv <tv> 1.1-10.mga9
  + Revision: 1751503
  - Rebuild for ocaml 4.13.1
* Thu Mar 25 2021 tv <tv> 1.1-9.mga9
  + Revision: 1709754
  - Rebuild for ocaml-4.12
  - rebuild for ocaml-4.2-12
* Sun Jan 10 2021 pterjan <pterjan> 1.1-7.mga8
  + Revision: 1670773
  - Rebuild to generate ocamlx provides

Files

/usr/lib/.build-id
/usr/lib/.build-id/14
/usr/lib/.build-id/14/4434cb504d05703a7bfc4b754c75efbe049ec0
/usr/lib/.build-id/32
/usr/lib/.build-id/32/6e3ca69d1aba605302d4e082a2684ff463620d
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/0699b1f65acef1471ab4c023dd287489de5eb7
/usr/lib/ocaml/mccs
/usr/lib/ocaml/mccs/META
/usr/lib/ocaml/mccs/dune-package
/usr/lib/ocaml/mccs/glpk
/usr/lib/ocaml/mccs/glpk/shared
/usr/lib/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.a
/usr/lib/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cma
/usr/lib/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cmxa
/usr/lib/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cmxs
/usr/lib/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.cmi
/usr/lib/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.cmt
/usr/lib/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.cmx
/usr/lib/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.ml
/usr/lib/ocaml/mccs/mccs.cma
/usr/lib/ocaml/mccs/mccs.cmi
/usr/lib/ocaml/mccs/mccs.cmt
/usr/lib/ocaml/mccs/mccs.cmti
/usr/lib/ocaml/mccs/mccs.cmxs
/usr/lib/ocaml/mccs/mccs.ml
/usr/lib/ocaml/mccs/opam
/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 9 10:16:32 2024