ocaml-mccs-1.1.19-4.mga10 RPM for x86_64

From Mageia Cauldron for x86_64 / media / core / release

mccs (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.

Provides

• ocaml-mccs
• ocaml(Mccs)
• ocaml(Ocaml_mccs_glpk)
• ocaml-mccs(x86-64)

Requires

• ld-linux-x86-64.so.2()(64bit)
• ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libglpk.so.40()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
• ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
• ocaml(Cudf) = ab9fba77614b7d125232a30e5e2490f2
• ocaml(Cudf_types) = 1141d6cd95fcacec31c1d759a558d0f5
• ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
• ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
• ocaml(Stdlib__Callback) = e63ded0535f5b914a16b4f955e944303
• ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
• ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7
• ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
• ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
• ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515
• ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

BSD and LGPLv3+ with exceptions

Changelog

* Fri Apr 04 2025 pterjan <pterjan> 1.1.19-4.mga10
  + Revision: 2173510
  - Rebuild for ocaml 5.3.0
* Tue Apr 01 2025 pterjan <pterjan> 1.1.19-3.mga10
  + Revision: 2172400
  - Fix dependencies on 32 bit
* Sun Mar 30 2025 pterjan <pterjan> 1.1.19-2.mga10
  + Revision: 2171901
  - Fix depenedency
  - Update to 19

Files

/usr/lib/.build-id
/usr/lib/.build-id/34
/usr/lib/.build-id/34/c25b35794d19494aa254f8b965d149fbd1e1d1
/usr/lib/.build-id/dc
/usr/lib/.build-id/dc/f99274a3bca6b451721b4545a2aadd735c4297
/usr/lib/.build-id/f7
/usr/lib/.build-id/f7/8b65e83fe240a4d35a4a245d26e24984c1f9a8
/usr/lib64/ocaml/mccs
/usr/lib64/ocaml/mccs/META
/usr/lib64/ocaml/mccs/glpk
/usr/lib64/ocaml/mccs/glpk/shared
/usr/lib64/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cma
/usr/lib64/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cmxs
/usr/lib64/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.cmi
/usr/lib64/ocaml/mccs/mccs.cma
/usr/lib64/ocaml/mccs/mccs.cmi
/usr/lib64/ocaml/mccs/mccs.cmxs
/usr/lib64/ocaml/stublibs/dllmccs_stubs.so
/usr/share/doc/ocaml-mccs
/usr/share/doc/ocaml-mccs/README.md
/usr/share/licenses/ocaml-mccs
/usr/share/licenses/ocaml-mccs/LICENCE

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 09:02:51 2025