Mon, 02 Dec 2024 18:45:15 UTC | login

Information for RPM ocaml-mccs-1.1-8.8.fc29.riscv64.rpm

ID134841
Nameocaml-mccs
Version1.1
Release8.8.fc29
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 jbuilder. The binding enables interoperation with binary CUDF data from the OCaml CUDF library, and removes the native C++ parsers and printers.
Build Time2018-06-11 22:00:46 GMT
Size640.07 KB
77356d95a776d0cac8d737edc3a246c9
LicenseBSD and LGPLv3+ with exceptions
Buildrootf29-build-10646-4813
Provides
ocaml(Mccs) = e8cc867b2bcfeb7cf1d19479476a40b9
ocaml(Ocaml_mccs_glpk) = acc2ed7ff66c13f5e2ea43fd37c47cce
ocaml-mccs = 1.1-8.8.fc29
ocaml-mccs(riscv-64) = 1.1-8.8.fc29
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(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)
ocaml(Buffer) = 9c9b3639d23d7746c571cdf04646eb29
ocaml(Callback) = 381b3818bd7b7f37a7bf11fb6c76a12a
ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b
ocaml(Cudf) = 3033b13215021c4ecdf8e61da6a58d29
ocaml(Cudf_types) = d54858fa1f42b053ad711ee407fd7c1c
ocaml(Lexing) = 0971650cdf1fa8e506e733e9a5da2628
ocaml(Pervasives) = 9b04ecdc97e5102c1d342892ef7ad9a2
ocaml(Printf) = e5dfd0ca6436c8abad976fc9e914999a
ocaml(Sys) = 3fe6d98e0634486be22d9de07aa0709a
ocaml(Uchar) = 596c497318b5c3057b47b9d6747ef5d1
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)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 37 of 37
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/3f0.00 B
/usr/lib/.build-id/3f/20ed2986aa5bc6e94af16670107505ac9fb2f153.00 B
/usr/lib/.build-id/490.00 B
/usr/lib/.build-id/49/9d0194ca082ea5156f762d399d3e28bff5a5d461.00 B
/usr/lib/.build-id/6e0.00 B
/usr/lib/.build-id/6e/c8bbde4874e983b397e93ec41b4ab86353557142.00 B
/usr/lib/.build-id/780.00 B
/usr/lib/.build-id/78/b71d846276b982ff4af44575edf4840ff4d1d758.00 B
/usr/lib64/ocaml/mccs0.00 B
/usr/lib64/ocaml/mccs/META487.00 B
/usr/lib64/ocaml/mccs/glpk0.00 B
/usr/lib64/ocaml/mccs/glpk/internal0.00 B
/usr/lib64/ocaml/mccs/glpk/internal/libmccs_glpk_stubs.a3.20 MB
/usr/lib64/ocaml/mccs/glpk/internal/mccs.glpk.internal.dune12.00 B
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.a1.79 KB
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.cma1.58 KB
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.cmxa207.00 B
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.cmxs6.48 KB
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmi204.00 B
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmt1.87 KB
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmx182.00 B
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.ml55.00 B
/usr/lib64/ocaml/mccs/mccs.cma11.29 KB
/usr/lib64/ocaml/mccs/mccs.cmi1.23 KB
/usr/lib64/ocaml/mccs/mccs.cmt25.68 KB
/usr/lib64/ocaml/mccs/mccs.cmti7.13 KB
/usr/lib64/ocaml/mccs/mccs.cmxs130.54 KB
/usr/lib64/ocaml/mccs/mccs.dune12.00 B
/usr/lib64/ocaml/mccs/mccs.ml3.08 KB
/usr/lib64/ocaml/mccs/opam624.00 B
/usr/lib64/ocaml/stublibs/dllmccs_glpk_stubs.so294.23 KB
/usr/lib64/ocaml/stublibs/dllmccs_stubs.so121.27 KB
/usr/share/doc/ocaml-mccs0.00 B
/usr/share/doc/ocaml-mccs/README.md2.01 KB
/usr/share/licenses/ocaml-mccs0.00 B
/usr/share/licenses/ocaml-mccs/LICENCE77.61 KB
Component of No Buildroots