Sat, 01 Jun 2024 11:32:19 UTC | login

Information for RPM ocaml-mccs-1.1-17.10.fc31.riscv64.rpm

ID461571
Nameocaml-mccs
Version1.1
Release17.10.fc31
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 Time2019-08-14 21:40:18 GMT
Size689.73 KB
eee8dba05b8fa57f1033b73802f62513
LicenseBSD and LGPLv3+ with exceptions
Buildrootf31-build-91789-32329
Provides
ocaml(Mccs) = e8cc867b2bcfeb7cf1d19479476a40b9
ocaml(Ocaml_mccs_glpk) = acc2ed7ff66c13f5e2ea43fd37c47cce
ocaml-mccs = 1.1-17.10.fc31
ocaml-mccs(riscv-64) = 1.1-17.10.fc31
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(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 36 of 36
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/120.00 B
/usr/lib/.build-id/12/1d8bbbe73e8c4ceb3f80550d4c9e1d357a9e5053.00 B
/usr/lib/.build-id/710.00 B
/usr/lib/.build-id/71/f3b07a96a150f47c975d369b96cf695460646858.00 B
/usr/lib/.build-id/a00.00 B
/usr/lib/.build-id/a0/a9d9b45461f522abc016352bd931e0cbcc1e7161.00 B
/usr/lib/.build-id/f70.00 B
/usr/lib/.build-id/f7/5b8c46dac0d6093f903ef7bfa6ac2e58b334f242.00 B
/usr/lib64/ocaml/mccs0.00 B
/usr/lib64/ocaml/mccs/META487.00 B
/usr/lib64/ocaml/mccs/dune-package3.03 KB
/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.30 MB
/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.60 KB
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmi204.00 B
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmt1.88 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.30 KB
/usr/lib64/ocaml/mccs/mccs.cmi1.23 KB
/usr/lib64/ocaml/mccs/mccs.cmt25.75 KB
/usr/lib64/ocaml/mccs/mccs.cmti7.18 KB
/usr/lib64/ocaml/mccs/mccs.cmxs130.66 KB
/usr/lib64/ocaml/mccs/mccs.ml3.08 KB
/usr/lib64/ocaml/mccs/opam641.00 B
/usr/lib64/ocaml/stublibs/dllmccs_glpk_stubs.so294.23 KB
/usr/lib64/ocaml/stublibs/dllmccs_stubs.so121.40 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