معرفی شرکت ها


ocaml-mccs-1.1.9-alt3.i586.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 i586
نام بسته ocaml-mccs
نام فایل بسته ocaml-mccs-1.1.9-alt3.i586.rpm
نسخه بسته 1.1.9
انتشار بسته alt3
معماری بسته i586
نگهدارنده -
تاریخ ساخت Wed 13 Mar 2019 07
هاست سازنده rider-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/AltGr/ocaml-mccs
مجوز BSD and LGPLv3+ with exceptions
حجم دانلود 275K
حجم نصب 882.518K
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.ppc64le.rpm 1.1.9 ppc64le 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.0)
- libc.so.6(GLIBC_2.1)
- libc.so.6(GLIBC_2.1.3)
- libc.so.6(GLIBC_2.3)
- libc.so.6(GLIBC_2.3.4)
- libc.so.6(GLIBC_2.4)
- libgcc_s.so.1(GCC_3.0)
- libstdc++.so.6(CXXABI_1.3)
- libstdc++.so.6(CXXABI_1.3.9)
- libstdc++.so.6(GLIBCXX_3.4)
- libstdc++.so.6(GLIBCXX_3.4.15)
- libstdc++.so.6(GLIBCXX_3.4.21)
= 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-4879D694 ocaml-cmx(Cudf)
= 4.07-65896C64 ocaml-cmx(Stdlib)
= 4.07-017A2759 ocaml-cmx(Stdlib__callback)
= 4.07-74442C82 ocaml-cmx(Stdlib__printf)
= 4.07-7803B772 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-94F70D08 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.i586.rpm


فایل ها

مسیرها
/usr/lib/ocaml/mccs
/usr/lib/ocaml/mccs/META
/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-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