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

ocaml-mccs-1.1-7.mga8 RPM for x86_64

From Mageia 8 for x86_64 / media / core / release

Name: ocaml-mccs Distribution: Mageia
Version: 1.1 Vendor: Mageia.Org
Release: 7.mga8 Build date: Sun Jan 10 21:05:56 2021
Group: Development/OCaml Build host: localhost
Size: 890725 Source RPM: ocaml-mccs-1.1-7.mga8.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 jbuilder.

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 Jan 10 2021 pterjan <pterjan> 1.1-7.mga8
  + Revision: 1670773
  - Rebuild to generate ocamlx provides
* Fri Feb 28 2020 umeabot <umeabot> 1.1-6.mga8
  + Revision: 1551745
  - Rebuild for ocaml 4.10.0 final
* Wed Feb 19 2020 umeabot <umeabot> 1.1-5.mga8
  + Revision: 1544528
  - Mageia 8 Mass Rebuild
* Sun Jan 26 2020 tv <tv> 1.1-4.mga8
  + Revision: 1483157
  - new sub release + rebuild for ocaml-4.10

Files

/usr/lib/.build-id
/usr/lib/.build-id/08
/usr/lib/.build-id/08/e92df3ccebce78a30a63474f08d80ac3b4f696
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/4ef32da606528f8474410f5959117063107b60
/usr/lib/.build-id/92
/usr/lib/.build-id/92/b0e73e3cac9930839a7f78184779db96c6de1e
/usr/lib/.build-id/9d
/usr/lib/.build-id/9d/7a02a8d54b9dd14b84240604dd5e080e6e1df4
/usr/lib64/ocaml/mccs
/usr/lib64/ocaml/mccs/META
/usr/lib64/ocaml/mccs/dune-package
/usr/lib64/ocaml/mccs/glpk
/usr/lib64/ocaml/mccs/glpk/internal
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.cma
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.cmxs
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmi
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmx
/usr/lib64/ocaml/mccs/mccs.cma
/usr/lib64/ocaml/mccs/mccs.cmi
/usr/lib64/ocaml/mccs/mccs.cmx
/usr/lib64/ocaml/mccs/mccs.cmxs
/usr/lib64/ocaml/mccs/opam
/usr/lib64/ocaml/stublibs/dllmccs_glpk_stubs.so
/usr/lib64/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 15:38:33 2024