SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-mccs rpm build for : Mageia Cauldron. For other distributions click ocaml-mccs.

Name : ocaml-mccs
Version : 1.1 Vendor : Mageia_Org
Release : 11.mga9 Date : 2022-05-20 16:53:29
Group : Development/OCaml Source RPM : ocaml-mccs-1.1-11.mga9.src.rpm
Size : 0.46 MB
Packager : pterjan < pterjan>
Summary : Multi Criteria CUDF Solver with OCaml bindings
Description :
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.

RPM found in directory: /vol/rzm3/linux-mageia/distrib/cauldron/i586/media/core/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-mccs-1.1-11.mga9.i586.rpm
     Search for other platforms
ocaml-mccs-1.1-11.mga9.sparc.rpm
ocaml-mccs-1.1-11.mga9.alpha.rpm
ocaml-mccs-1.1-11.mga9.ppc.rpm
ocaml-mccs-1.1-11.mga9.ia64.rpm
ocaml-mccs-1.1-11.mga9.s390.rpm

Provides :
ocaml(Mccs)
ocaml(Ocaml_mccs_glpk)
ocaml-mccs
ocaml-mccs(x86-32)
ocamlx(Mccs)
ocamlx(Ocaml_mccs_glpk)

Requires :
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1)
libc.so.6(GLIBC_2.1.3)
libc.so.6(GLIBC_2.7)
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)
libstdc++.so.6(GLIBCXX_3.4.29)
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(Cudf) = e4da146e2569d2b96fc956eb94d859c4
ocaml(Cudf_types) = a6fde305a5a686872dc51faa40cf9b51
ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Callback) = fe29a598e1902f0b901e88a9865c26ef
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocamlx(Cudf) = b8e3f59e91e4c6c1a423eaf03d8d6f46
ocamlx(Stdlib) = 9368a49701ad6a803837a9aaf468fe80
ocamlx(Stdlib__Callback) = c9fe6a12c59de4244d76e266145c9245
ocamlx(Stdlib__Printf) = d36b890ed8aa366d74aafd55046762a6
ocamlx(Stdlib__Sys) = 524528f5b43fe5b82073768577be9fb4
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/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
There is 2 files more in these RPM.

 
ICM