Wed, 05 Jun 2024 23:17:09 UTC | login

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

ID87155
Nameocaml-mccs
Version1.1
Release6.5.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-05-22 17:29:13 GMT
Size632.43 KB
425318048453e9e401c24d8a3fd1342f
LicenseBSD and LGPLv3+ with exceptions
Buildrootf29-build-3468-910
Provides
ocaml(Mccs) = 46d77230c282434e10bb653b47eff6d4
ocaml(Ocaml_mccs_glpk) = acc2ed7ff66c13f5e2ea43fd37c47cce
ocaml-mccs = 1.1-6.5.fc29
ocaml-mccs(riscv-64) = 1.1-6.5.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(Callback) = 381b3818bd7b7f37a7bf11fb6c76a12a
ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b
ocaml(Cudf) = 3033b13215021c4ecdf8e61da6a58d29
ocaml(Cudf_types) = d54858fa1f42b053ad711ee407fd7c1c
ocaml(Lexing) = 0971650cdf1fa8e506e733e9a5da2628
ocaml(Pervasives) = 9b04ecdc97e5102c1d342892ef7ad9a2
ocaml(Sys) = 3fe6d98e0634486be22d9de07aa0709a
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/2e0.00 B
/usr/lib/.build-id/2e/670835d583d02467af3051d5369f9b2c7d993242.00 B
/usr/lib/.build-id/940.00 B
/usr/lib/.build-id/94/8a72fd2bc1ef9c9e18fe1969dcf40aa64e7c6461.00 B
/usr/lib/.build-id/c60.00 B
/usr/lib/.build-id/c6/03bd7ab715806ea480dcfd11919d73cacc29ea58.00 B
/usr/lib/.build-id/ee0.00 B
/usr/lib/.build-id/ee/373da0f5e7f3c022321ef3bae697ce69216faf53.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.cmxs7.91 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.cma8.50 KB
/usr/lib64/ocaml/mccs/mccs.cmi811.00 B
/usr/lib64/ocaml/mccs/mccs.cmt17.20 KB
/usr/lib64/ocaml/mccs/mccs.cmti4.20 KB
/usr/lib64/ocaml/mccs/mccs.cmxs151.41 KB
/usr/lib64/ocaml/mccs/mccs.dune12.00 B
/usr/lib64/ocaml/mccs/mccs.ml1.87 KB
/usr/lib64/ocaml/mccs/opam519.00 B
/usr/lib64/ocaml/stublibs/dllmccs_glpk_stubs.so313.34 KB
/usr/lib64/ocaml/stublibs/dllmccs_stubs.so143.02 KB
/usr/share/doc/ocaml-mccs0.00 B
/usr/share/doc/ocaml-mccs/README.md1.71 KB
/usr/share/licenses/ocaml-mccs0.00 B
/usr/share/licenses/ocaml-mccs/LICENCE77.61 KB
Component of No Buildroots