SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-mccs
Version : 1.1 Vendor : Fedora Project
Release : 6.5.fc28 Date : 2018-02-27 00:07:59
Group : Unspecified Source RPM : ocaml-mccs-1.1-6.5.fc28.src.rpm
Size : 1.51 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 jbuilder.

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-secondary/releases/28/Everything/i386/os/Packages/o

Content of RPM  Changelog  Provides Requires

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

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

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)
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) = 381b3818bd7b7f37a7bf11fb6c76a12a
ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b
ocaml(Cudf) = 3033b13215021c4ecdf8e61da6a58d29
ocaml(Cudf_types) = d54858fa1f42b053ad711ee407fd7c1c
ocaml(Lexing) = 0971650cdf1fa8e506e733e9a5da2628
ocaml(Pervasives) = 9b04ecdc97e5102c1d342892ef7ad9a2
ocaml(Sys) = 3fe6d98e0634486be22d9de07aa0709a
ocaml(runtime) = 4.06.0
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/41
/usr/lib/.build-id/41/80e6bc0fd376ee383016e120ad99d6419504e4
/usr/lib/.build-id/55
/usr/lib/.build-id/55/b9f3cac60c086fa7a6abe113caaf03a4aa2aab
/usr/lib/.build-id/94
/usr/lib/.build-id/94/a2e7cd62be1f2f6d3020d2e57478e9f6b2801d
/usr/lib/.build-id/cf
/usr/lib/.build-id/cf/af9ac29f4b130bc6d28d03d9e100e822ad5c9a
/usr/lib/ocaml/mccs
/usr/lib/ocaml/mccs/META
/usr/lib/ocaml/mccs/glpk
/usr/lib/ocaml/mccs/glpk/internal
/usr/lib/ocaml/mccs/glpk/internal/libmccs_glpk_stubs.a
/usr/lib/ocaml/mccs/glpk/internal/mccs_glpk.a
/usr/lib/ocaml/mccs/glpk/internal/mccs_glpk.cma
/usr/lib/ocaml/mccs/glpk/internal/mccs_glpk.cmxa
/usr/lib/ocaml/mccs/glpk/internal/mccs_glpk.cmxs
/usr/lib/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmi
/usr/lib/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmt
/usr/lib/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmx
/usr/lib/ocaml/mccs/glpk/internal/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/opam
/usr/lib/ocaml/stublibs/dllmccs_glpk_stubs.so
/usr/lib/ocaml/stublibs/dllmccs_stubs.so
There is 4 files more in these RPM.

 
ICM