SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-mccs
Version : 1.1 Vendor : Fedora Project
Release : 31.11.fc34 Date : 2021-01-27 21:03:50
Group : Unspecified Source RPM : ocaml-mccs-1.1-31.11.fc34.src.rpm
Size : 2.24 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/34/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-mccs-1.1-31.11.fc34.x86_64.rpm
     

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

Requires :
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_2.7)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.9)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1
ocaml(Cudf) = 4d017ed7a1c8c3a4c335029e33abfd54
ocaml(Cudf_types) = 936bc85f384501c4dfc1b1a0877e95f2
ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d
ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481
ocaml(Stdlib__callback) = 1b88fbd71c9cf564eb0790c5709a779a
ocaml(Stdlib__lexing) = c57f9c5debbcb9d656c70b1e7385c4f9
ocaml(Stdlib__printf) = 5cec2efa6f5a2459d17f2788deb783f2
ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88
ocaml(Stdlib__sys) = 794924b786d5c3059c545cb526394520
ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96
ocamlx(Cudf) = 4c2184ee91c073f54c971c84943232a8
ocamlx(Stdlib) = 5b1118fc938423037933e63643e9f671
ocamlx(Stdlib__callback) = 8be8bbbb398fb67c5ac76dd97e4c8891
ocamlx(Stdlib__printf) = ed32309c6fdb9909e2ec1cda5118b14c
ocamlx(Stdlib__sys) = 82cfd264b7875618ee810e8d1f8fa532
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/43
/usr/lib/.build-id/43/4cbc66800f8d6c6de8861f7e630838e58292a6
/usr/lib/.build-id/c1
/usr/lib/.build-id/c1/196ce53227aa098f6133f53215f3418255feb2
/usr/lib/.build-id/c7
/usr/lib/.build-id/c7/2ae64a6e4fd598db3e1337d7684a0a0e6c8841
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/97143aebb487e9de502e0f58063f56f1c3bf64
/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/libmccs_glpk_stubs.a
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.a
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.cma
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.cmxa
/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.cmt
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmx
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.ml
/usr/lib64/ocaml/mccs/mccs.cma
/usr/lib64/ocaml/mccs/mccs.cmi
/usr/lib64/ocaml/mccs/mccs.cmt
/usr/lib64/ocaml/mccs/mccs.cmti
/usr/lib64/ocaml/mccs/mccs.cmxs
/usr/lib64/ocaml/mccs/mccs.ml
/usr/lib64/ocaml/mccs/opam
There is 6 files more in these RPM.

 
ICM