SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-mccs rpm build for : Fedora 37. For other distributions click ocaml-mccs.

Name : ocaml-mccs
Version : 1.1 Vendor : Fedora Project
Release : 38.14.fc37 Date : 2022-07-22 03:24:30
Group : Unspecified Source RPM : ocaml-mccs-1.1-38.14.fc37.src.rpm
Size : 0.44 MB
Packager : Fedora Project
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: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/37/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-mccs-1.1-38.14.fc37.i686.rpm
     Search for other platforms
ocaml-mccs-1.1-38.14.fc37.sparc.rpm
ocaml-mccs-1.1-38.14.fc37.alpha.rpm
ocaml-mccs-1.1-38.14.fc37.ppc.rpm
ocaml-mccs-1.1-38.14.fc37.ia64.rpm
ocaml-mccs-1.1-38.14.fc37.s390.rpm

Provides :
ocaml(Mccs)
ocaml(Ocaml_mccs_glpk)
ocaml-mccs
ocaml-mccs(x86-32)
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.3.4)
libc.so.6(GLIBC_2.4)
libc.so.6(GLIBC_2.7)
libgcc_s.so.1
libgcc_s.so.1(GCC_3.0)
libgcc_s.so.1(GCC_3.3.1)
libglpk.so.40
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.29)
libstdc++.so.6(GLIBCXX_3.4.30)
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
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/03
/usr/lib/.build-id/03/98de7cf71d212f783f9d0aade929dbe2a510ea
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/7d2ca2579d68276e6bcc445e0a14cf6428d832
/usr/lib/.build-id/2b
/usr/lib/.build-id/2b/403bd2397161a1946879df8460eebc80fd667d
/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