Tue, 11 Jun 2024 12:31:22 UTC | login

Information for RPM ocaml-mccs-1.1-11.8.fc30.riscv64.rpm

ID312972
Nameocaml-mccs
Version1.1
Release11.8.fc30
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-12-08 19:27:52 GMT
Size632.27 KB
9aed7472871f77ab785b69ab49eb3e7c
LicenseBSD and LGPLv3+ with exceptions
Buildrootf30-build-39886-22665
Provides
ocaml(Mccs) = c4668c63e386988501916e2aedb930dd
ocaml(Ocaml_mccs_glpk) = 0f47fc458fd9fd8737d326251153ecb2
ocaml-mccs = 1.1-11.8.fc30
ocaml-mccs(riscv-64) = 1.1-11.8.fc30
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(CamlinternalFormatBasics) = 7ea79e608e46b41c80c3251773e6fdf3
ocaml(Cudf) = 77637a23cdef70fb90a713e21c166a88
ocaml(Cudf_types) = b4e009d91f653eaa25ccbb76187e925a
ocaml(Stdlib) = 2812fae09b173a42800ce3b48328b9cb
ocaml(Stdlib__buffer) = 10853d28756c7121334e6b9e3e83e1ba
ocaml(Stdlib__callback) = 6cbf78990b81aaa60259f675a22325df
ocaml(Stdlib__lexing) = 4ca35ee6f83c87fbf3d6a22e3555e3ce
ocaml(Stdlib__printf) = be9ae8643b5511d51db9c754b5ee4f74
ocaml(Stdlib__seq) = 5c66a1fd18f6126043d7af46d32b4b53
ocaml(Stdlib__sys) = 173c21e20f3d44e9b4f52694fd5addb3
ocaml(Stdlib__uchar) = 786699188e2f8c1fe32eb8363cd7655a
ocaml(runtime) = 4.07.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/840.00 B
/usr/lib/.build-id/84/1670e1ad792b01a70720a2648c225ea77a1fde61.00 B
/usr/lib/.build-id/850.00 B
/usr/lib/.build-id/85/c3d85a58b5014b10b02f19127eef877cef895158.00 B
/usr/lib/.build-id/e40.00 B
/usr/lib/.build-id/e4/0c4a2216aa5df9c66cb8078dc97d0a6b8452ac53.00 B
/usr/lib/.build-id/e50.00 B
/usr/lib/.build-id/e5/b9a60c90c361d10b0200e3284d0770b1abef2f42.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.60 KB
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.cmxa203.00 B
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.cmxs6.00 KB
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmi200.00 B
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmt1.89 KB
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmx178.00 B
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.ml55.00 B
/usr/lib64/ocaml/mccs/mccs.cma11.73 KB
/usr/lib64/ocaml/mccs/mccs.cmi1.27 KB
/usr/lib64/ocaml/mccs/mccs.cmt27.25 KB
/usr/lib64/ocaml/mccs/mccs.cmti7.22 KB
/usr/lib64/ocaml/mccs/mccs.cmxs129.16 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.so289.05 KB
/usr/lib64/ocaml/stublibs/dllmccs_stubs.so119.95 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