Fri, 13 Dec 2024 22:45:23 UTC | login

Information for RPM ocaml-mccs-1.1-38.14.fc37.riscv64.rpm

ID879527
Nameocaml-mccs
Version1.1
Release38.14.fc37
Epoch
Archriscv64
SummaryMulti Criteria CUDF Solver with OCaml bindings
Descriptionmccs (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.
Build Time2022-11-10 09:30:18 GMT
Size125.41 KB
b26d54d474cfdd8bb4aadad6e531db2e
LicenseBSD and LGPLv3+ with exceptions
Buildrootf37-build-671271-75217
Provides
ocaml(Mccs) = dbff5ec7dcc60d5ba82d10b3ea9cbc85
ocaml(Ocaml_mccs_glpk) = c390206783f9a7572f19b680316eed7e
ocaml-mccs = 1.1-38.14.fc37
ocaml-mccs(riscv-64) = 1.1-38.14.fc37
ocamlx(Ocaml_mccs_glpk) = 00eb0f18af0b8221bb8318bf863a3865
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.3.1)(64bit)
libglpk.so.40()(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.29)(64bit)
libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(Cudf) = e4da146e2569d2b96fc956eb94d859c4
ocaml(Cudf_types) = a6fde305a5a686872dc51faa40cf9b51
ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91
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)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 32 of 32
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/360.00 B
/usr/lib/.build-id/36/e1e8a44ce8a1e445127eca34b02d8e00fa9cc053.00 B
/usr/lib/.build-id/380.00 B
/usr/lib/.build-id/38/ba2bd5252b2f853b045ce0a2e6a480bae7eba070.00 B
/usr/lib/.build-id/ad0.00 B
/usr/lib/.build-id/ad/ba1f6a94c7bd6e4d6a9aea25d1a859b9f3351542.00 B
/usr/lib64/ocaml/mccs0.00 B
/usr/lib64/ocaml/mccs/META526.00 B
/usr/lib64/ocaml/mccs/dune-package1.73 KB
/usr/lib64/ocaml/mccs/glpk0.00 B
/usr/lib64/ocaml/mccs/glpk/shared0.00 B
/usr/lib64/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.a2.12 KB
/usr/lib64/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cma1.91 KB
/usr/lib64/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cmxa202.00 B
/usr/lib64/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cmxs14.57 KB
/usr/lib64/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.cmi203.00 B
/usr/lib64/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.cmt2.23 KB
/usr/lib64/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.cmx178.00 B
/usr/lib64/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.ml55.00 B
/usr/lib64/ocaml/mccs/mccs.cma12.94 KB
/usr/lib64/ocaml/mccs/mccs.cmi1.28 KB
/usr/lib64/ocaml/mccs/mccs.cmt26.99 KB
/usr/lib64/ocaml/mccs/mccs.cmti7.65 KB
/usr/lib64/ocaml/mccs/mccs.cmxs125.34 KB
/usr/lib64/ocaml/mccs/mccs.ml3.08 KB
/usr/lib64/ocaml/mccs/opam812.00 B
/usr/lib64/ocaml/stublibs/dllmccs_stubs.so118.72 KB
/usr/share/doc/ocaml-mccs0.00 B
/usr/share/doc/ocaml-mccs/README.md2.00 KB
/usr/share/licenses/ocaml-mccs0.00 B
/usr/share/licenses/ocaml-mccs/LICENCE77.61 KB
Component of No Buildroots