معرفی شرکت ها

ocaml-mccs-1.1.9-alt3.ppc64le.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Multi Criteria CUDF Solver with OCaml bindings
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic ppc64le
نام بسته ocaml-mccs
نام فایل بسته ocaml-mccs-1.1.9-alt3.ppc64le.rpm
نسخه بسته 1.1.9
انتشار بسته alt3
معماری بسته ppc64le
نگهدارنده -
تاریخ ساخت Fri 07 Jun 2019 11
هاست سازنده wasp30.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/AltGr/ocaml-mccs
مجوز BSD and LGPLv3+ with exceptions
حجم دانلود 285K
حجم نصب 1.044M
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.


جایگزین ها

بسته نسخه معماری مخزن
ocaml-mccs-1.1.9-alt3.i586.rpm 1.1.9 i586 ALT classic
ocaml-mccs-1.1.9-alt3.x86_64.rpm 1.1.9 x86_64 ALT classic
ocaml-mccs-devel-1.1.9-alt3.i586.rpm 1.1.9 i586 ALT classic
ocaml-mccs-devel-1.1.9-alt3.ppc64le.rpm 1.1.9 ppc64le ALT classic
ocaml-mccs-devel-1.1.9-alt3.x86_64.rpm 1.1.9 x86_64 ALT classic


نیازمندی

مقدار نام
- libc.so.6(GLIBC_2.17)(64bit)
- libgcc_s.so.1(GCC_3.0)(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)
= 4.07-E065A8B8 ocaml-cmi(CamlinternalFormatBasics)
= 4.07-203DF129 ocaml-cmi(Cudf)
= 4.07-A5B15CEC ocaml-cmi(Cudf_types)
= 4.07-785BC435 ocaml-cmi(Stdlib)
= 4.07-47741A30 ocaml-cmi(Stdlib__buffer)
= 4.07-88A8ECEA ocaml-cmi(Stdlib__callback)
= 4.07-5DAB01A8 ocaml-cmi(Stdlib__lexing)
= 4.07-1E129649 ocaml-cmi(Stdlib__printf)
= 4.07-5714D5DA ocaml-cmi(Stdlib__seq)
= 4.07-083703B1 ocaml-cmi(Stdlib__sys)
= 4.07-6D473D03 ocaml-cmi(Stdlib__uchar)
= 4.07-5CBF2531 ocaml-cmx(Cudf)
= 4.07-B5073F3F ocaml-cmx(Stdlib)
= 4.07-2D1CF4EE ocaml-cmx(Stdlib__callback)
= 4.07-0C2D719E ocaml-cmx(Stdlib__printf)
= 4.07-1CBE7BE8 ocaml-cmx(Stdlib__sys)
= 4.07 ocaml-runtime
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 4.07-96C72ECC ocaml-cmi(Mccs)
= 4.07-470AFA18 ocaml-cmi(Ocaml_mccs_glpk)
= 4.07-F711927D ocaml-cmx(Mccs)
= 4.07-9E785E28 ocaml-cmx(Ocaml_mccs_glpk)
- ocaml-dll(mccs_glpk_stubs)
- ocaml-dll(mccs_stubs)
= 1.1.9-alt3:sisyphus+224946.100.1.1 ocaml-mccs


نحوه نصب


نصب پکیج rpm ocaml-mccs:

    sudo apt-get install ocaml-mccs-1.1.9-alt3.ppc64le.rpm


فایل ها

مسیرها
/usr/lib64/ocaml/mccs
/usr/lib64/ocaml/mccs/META
/usr/lib64/ocaml/mccs/glpk
/usr/lib64/ocaml/mccs/glpk/internal
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.cma
/usr/lib64/ocaml/mccs/glpk/internal/mccs_glpk.cmxs
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmi
/usr/lib64/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmx
/usr/lib64/ocaml/mccs/mccs.cma
/usr/lib64/ocaml/mccs/mccs.cmi
/usr/lib64/ocaml/mccs/mccs.cmx
/usr/lib64/ocaml/mccs/mccs.cmxs
/usr/lib64/ocaml/mccs/opam
/usr/lib64/ocaml/stublibs/dllmccs_glpk_stubs.so
/usr/lib64/ocaml/stublibs/dllmccs_stubs.so
/usr/share/doc/ocaml-mccs-1.1.9
/usr/share/doc/ocaml-mccs-1.1.9/LICENCE
/usr/share/doc/ocaml-mccs-1.1.9/README.md


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2019-03-13

rebuilt with dune-1.8

2019-01-20

fixed built with dune-1.6.4

2018-11-01

first build for ALT