ocaml-mccs-1.1-7.mga8 RPM for armv7hl

From Mageia 8 for armv7hl / 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 jbuilder.

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(armv7hl-32)
• ocamlx(Mccs)
• ocamlx(Ocaml_mccs_glpk)

Requires

• ld-linux-armhf.so.3
• ld-linux-armhf.so.3(GLIBC_2.4)
• libc.so.6
• libc.so.6(GLIBC_2.4)
• libc.so.6(GLIBC_2.7)
• libgcc_s.so.1
• libgcc_s.so.1(GCC_3.5)
• libstdc++.so.6
• libstdc++.so.6(CXXABI_1.3)
• libstdc++.so.6(CXXABI_1.3.9)
• libstdc++.so.6(CXXABI_ARM_1.3.3)
• libstdc++.so.6(GLIBCXX_3.4)
• libstdc++.so.6(GLIBCXX_3.4.15)
• libstdc++.so.6(GLIBCXX_3.4.21)
• ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf
• ocaml(Cudf) = b08f12270a08e65a7370da1b9157aa84
• ocaml(Cudf_types) = 8bc5237f2a4ae578bca9da7b77ac1564
• ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3
• ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec
• ocaml(Stdlib__callback) = 05f106bfa8c02f2eefb8a3e3c18411af
• ocaml(Stdlib__lexing) = af4fe7604d37ed7010a342d5a704e3c5
• ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af
• ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679
• ocaml(Stdlib__sys) = bb80c4c4a8134d83861bb3ff49d07ce4
• ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3
• ocamlx(Cudf) = 63e500c2eecd62221ec1e7a14f676f57
• ocamlx(Stdlib) = 49251ee46c5a6af8953e9d71cb963d6a
• ocamlx(Stdlib__callback) = aab43187b96004c7cca6f6744d7ae850
• ocamlx(Stdlib__printf) = 7e37a4b7747b4eba2b60a05bf1ee4ea8
• ocamlx(Stdlib__sys) = 0ea07bab2c4f02d465591294ae2294d9
• 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

* Sun Jan 10 2021 pterjan <pterjan> 1.1-7.mga8
  + Revision: 1670773
  - Rebuild to generate ocamlx provides
* Fri Feb 28 2020 umeabot <umeabot> 1.1-6.mga8
  + Revision: 1551745
  - Rebuild for ocaml 4.10.0 final
* Wed Feb 19 2020 umeabot <umeabot> 1.1-5.mga8
  + Revision: 1544528
  - Mageia 8 Mass Rebuild
* Sun Jan 26 2020 tv <tv> 1.1-4.mga8
  + Revision: 1483157
  - new sub release + rebuild for ocaml-4.10

Files

/usr/lib/.build-id
/usr/lib/.build-id/07
/usr/lib/.build-id/07/d6c48477bf97613e8cc293a84856ca8ca1bd0d
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/28cdeebf5bc9644bb08f724e3acab833b2abf4
/usr/lib/.build-id/3c
/usr/lib/.build-id/3c/5af0bc41db209ffba1c03bafa5584e41edc2b5
/usr/lib/.build-id/76
/usr/lib/.build-id/76/f760868573a89029611a933be0176cedffba10
/usr/lib/ocaml/mccs
/usr/lib/ocaml/mccs/META
/usr/lib/ocaml/mccs/dune-package
/usr/lib/ocaml/mccs/glpk
/usr/lib/ocaml/mccs/glpk/internal
/usr/lib/ocaml/mccs/glpk/internal/mccs_glpk.cma
/usr/lib/ocaml/mccs/glpk/internal/mccs_glpk.cmxs
/usr/lib/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmi
/usr/lib/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmx
/usr/lib/ocaml/mccs/mccs.cma
/usr/lib/ocaml/mccs/mccs.cmi
/usr/lib/ocaml/mccs/mccs.cmx
/usr/lib/ocaml/mccs/mccs.cmxs
/usr/lib/ocaml/mccs/opam
/usr/lib/ocaml/stublibs/dllmccs_glpk_stubs.so
/usr/lib/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 12:12:17 2025