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 aarch64

From Mageia 8 for aarch64 / media / core / release

Name: ocaml-mccs Distribution: Mageia
Version: 1.1 Vendor: Mageia.Org
Release: 7.mga8 Build date: Sun Jan 10 21:08:06 2021
Group: Development/OCaml Build host: localhost
Size: 823869 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/3b
/usr/lib/.build-id/3b/202d16850602ee7b5939c7fbb17dacb6569e52
/usr/lib/.build-id/51
/usr/lib/.build-id/51/cc6c2b471a3346d1ece5e82f441878bf69ef8a
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/a7c6ceb8d750953aa533c5d14e57f2bb7dcd17
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/e6320a24d80cb31d12612b03ec2e8572d8101b
/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:14:28 2024