SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-mccs
Version : 1.1.19 Vendor : Fedora Project
Release : 1.fc42 Date : 2025-01-10 17:37:17
Group : Unspecified Source RPM : ocaml-mccs-1.1.19-1.fc42.src.rpm
Size : 0.41 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: /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

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

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.4)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libglpk.so.40()(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
ocaml(Cudf) = ab9fba77614b7d125232a30e5e2490f2
ocaml(Cudf_types) = 1141d6cd95fcacec31c1d759a558d0f5
ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7
ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
ocaml(Stdlib__Callback) = e63ded0535f5b914a16b4f955e944303
ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7
ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515
ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
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/98
/usr/lib/.build-id/98/dce52671cafd6405c10d431cdda4fec86a9511
/usr/lib/.build-id/a3
/usr/lib/.build-id/a3/682d582ddb03b732a938ad726821171156252c
/usr/lib/.build-id/de
/usr/lib/.build-id/de/3b03bfdc2d4e0f02cb5e601d896e8cca5bf1a8
/usr/lib64/ocaml/mccs
/usr/lib64/ocaml/mccs/META
/usr/lib64/ocaml/mccs/glpk
/usr/lib64/ocaml/mccs/glpk/shared
/usr/lib64/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cma
/usr/lib64/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cmxs
/usr/lib64/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.cmi
/usr/lib64/ocaml/mccs/mccs.cma
/usr/lib64/ocaml/mccs/mccs.cmi
/usr/lib64/ocaml/mccs/mccs.cmxs
/usr/lib64/ocaml/stublibs/dllmccs_stubs.so
/usr/share/doc/ocaml-mccs
/usr/share/doc/ocaml-mccs/README.md
/usr/share/licenses/ocaml-mccs
/usr/share/licenses/ocaml-mccs/LICENCE

 
ICM