Mon, 10 Jun 2024 00:51:45 UTC | login

Information for RPM ocaml-mccs-1.1-40.14.fc38.riscv64.rpm

ID933612
Nameocaml-mccs
Version1.1
Release40.14.fc38
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 Time2023-02-25 11:38:01 GMT
Size128.29 KB
374fc4889db32b8c809edf2b0473ab16
LicenseBSD and LGPLv3+ with exceptions
Buildrootf38-build-685411-80578
Provides
ocaml(Mccs) = dbff5ec7dcc60d5ba82d10b3ea9cbc85
ocaml(Ocaml_mccs_glpk) = c390206783f9a7572f19b680316eed7e
ocaml-mccs = 1.1-40.14.fc38
ocaml-mccs(riscv-64) = 1.1-40.14.fc38
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/420.00 B
/usr/lib/.build-id/42/f3d1740b4b23c01d6bbf12975b3530563e82aa70.00 B
/usr/lib/.build-id/5b0.00 B
/usr/lib/.build-id/5b/b6e088ea2b0563992a9e25dd8f289c1ef5fcf842.00 B
/usr/lib/.build-id/dc0.00 B
/usr/lib/.build-id/dc/317be7f02325341d151c1f94eeaf896273d48053.00 B
/usr/lib64/ocaml/mccs0.00 B
/usr/lib64/ocaml/mccs/META526.00 B
/usr/lib64/ocaml/mccs/dune-package1.76 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.18 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.cmxs137.58 KB
/usr/lib64/ocaml/mccs/mccs.ml3.08 KB
/usr/lib64/ocaml/mccs/opam812.00 B
/usr/lib64/ocaml/stublibs/dllmccs_stubs.so126.96 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