ocaml-mccs - Multi Criteria CUDF Solver with OCaml bindings

Property Value
Distribution Fedora 27
Repository Fedora Updates i386
Package filename ocaml-mccs-1.1-4.4.fc27.i686.rpm
Package name ocaml-mccs
Package version 1.1
Package release 4.4.fc27
Package architecture i686
Package type rpm
Homepage -
License -
Maintainer -
Download size 335.05 KB
Installed size 1.22 MB
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.


Package Version Architecture Repository
ocaml-mccs-1.1-4.4.fc27.x86_64.rpm 1.1 x86_64 Fedora Updates
ocaml-mccs - - -


Name Value
libc.so.6(GLIBC_2.4) -
libgcc_s.so.1 -
libgcc_s.so.1(GCC_3.0) -
libstdc++.so.6 -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(CXXABI_1.3.9) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.15) -
libstdc++.so.6(GLIBCXX_3.4.21) -
ocaml(Callback) = dce408881d6ac6161453b15efba2e1b4
ocaml(CamlinternalFormatBasics) = cbd5f2d6b649925222e1e9fb63b89db6
ocaml(Cudf) = 66d9ad6bd6a8d9d887488a2524cf0ffe
ocaml(Cudf_types) = 4f36f7a4788e619dc780cbc1eeac40b3
ocaml(Lexing) = b79fe652179a8cc9f27d480b31bfed89
ocaml(Pervasives) = 07ea9e20ae94d62c35cfecbe7d66d3ea
ocaml(Sys) = b1aa8c2b5e2a9b1022637c55ba211fb2
ocaml(runtime) = 4.05.0
rtld(GNU_HASH) -


Name Value
ocaml(Mccs) = 8b46446e48dbbe7892b7778504d36958
ocaml-mccs = 1.1-4.4.fc27
ocaml-mccs(x86-32) = 1.1-4.4.fc27


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package ocaml-mccs-1.1-4.4.fc27.i686.rpm
Source Package ocaml-mccs-1.1-4.4.fc27.src.rpm

Install Howto

Install ocaml-mccs rpm package:

# dnf install ocaml-mccs




2017-12-02 - Richard W.M. Jones <rjones@redhat.com> - 1.1-4.4
- OCaml 4.06.0 rebuild.
2017-11-25 - Ben Rosser <rosser.bjr@gmail.com> - 1.1.3-4
- Update to latest upstream release (#1512145).
2017-10-22 - Ben Rosser <rosser.bjr@gmail.com> - 1.1-2.3b
- Update to latest upstream release.
2017-09-02 - Ben Rosser <rosser.bjr@gmail.com> - 1.1-1.2c
- Initial package.

See Also

Package Description
ocaml-mccs-devel-1.1-4.4.fc27.i686.rpm Development files for ocaml-mccs
ocaml-migrate-parsetree-1.0.7-1.fc27.i686.rpm Convert OCaml parsetrees between different major versions
ocaml-migrate-parsetree-devel-1.0.7-1.fc27.i686.rpm Development files for ocaml-migrate-parsetree
ocaml-oasis-0.4.10-3.fc27.i686.rpm Tooling for building OCaml libraries and applications
ocaml-oasis-devel-0.4.10-3.fc27.i686.rpm Development files for ocaml-oasis
ocaml-obuild-0.1.9-1.fc27.i686.rpm Simple package build system for OCaml
ocaml-ocamldoc-4.05.0-5.fc27.i686.rpm Documentation generator for OCaml
ocaml-ounit-2.0.8-1.fc27.i686.rpm Unit test framework for OCaml
ocaml-ounit-devel-2.0.8-1.fc27.i686.rpm Development files for ocaml-ounit
ocaml-ppx-tools-versioned-5.0.1-1.fc27.i686.rpm Tools for authors of ppx rewriters
ocaml-ppx-tools-versioned-devel-5.0.1-1.fc27.i686.rpm Development files for ocaml-ppx-tools-versioned
ocaml-ptmap-2.0.3-1.fc27.i686.rpm Maps over integers implemented as Patricia trees
ocaml-ptmap-devel-2.0.3-1.fc27.i686.rpm Development files for ocaml-ptmap
ocaml-qcheck-0.8-1.fc27.i686.rpm QuickCheck inspired property-based testing for OCaml
ocaml-qcheck-devel-0.8-1.fc27.i686.rpm Development files for ocaml-qcheck