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 armv7hl

From Mageia Cauldron for armv7hl / media / core / release

Name: ocaml-mccs Distribution: Mageia
Version: 1.1 Vendor: Mageia.Org
Release: 11.mga9 Build date: Fri May 20 16:47:32 2022
Group: Development/OCaml Build host: localhost
Size: 403109 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/66
/usr/lib/.build-id/66/4a7a01e4bffaf36e9fc66c8245e582d23752fa
/usr/lib/.build-id/71
/usr/lib/.build-id/71/64ac020bc8661fe8d98886f95c67871dd6d079
/usr/lib/.build-id/e7
/usr/lib/.build-id/e7/ea97da53591a3771096bd3d6c524a2643b31f8
/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 23 03:22:29 2024