معرفی شرکت ها

ocaml-mccs-1.1.13-alt1.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 p10
مخزن ALTLinux classic ppc64le
نام بسته ocaml-mccs
نام فایل بسته ocaml-mccs-1.1.13-alt1.ppc64le.rpm
نسخه بسته 1.1.13
انتشار بسته alt1
معماری بسته ppc64le
نگهدارنده -
تاریخ ساخت Sat 27 Nov 2021 12
هاست سازنده rider-p10.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/AltGr/ocaml-mccs
مجوز BSD and LGPLv3+ with exceptions
حجم دانلود 276K
حجم نصب 1.047M
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.13-alt1.x86_64.rpm 1.1.13 x86_64 ALT classic
ocaml-mccs-debuginfo-1.1.13-alt1.ppc64le.rpm 1.1.13 ppc64le ALT debuginfo
ocaml-mccs-devel-1.1.13-alt1.ppc64le.rpm 1.1.13 ppc64le 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.13.1-C4B583A7 ocaml-cmi(CamlinternalFormatBasics)
= 4.13.1-E2B3A4FA ocaml-cmi(Cudf)
= 4.13.1-1002F3EB ocaml-cmi(Cudf_types)
= 4.13.1-2D082666 ocaml-cmi(Stdlib)
= 4.13.1-AE6F92BA ocaml-cmi(Stdlib__Buffer)
= 4.13.1-BE7617C4 ocaml-cmi(Stdlib__Callback)
= 4.13.1-58F88856 ocaml-cmi(Stdlib__Lexing)
= 4.13.1-0E709B4A ocaml-cmi(Stdlib__Printf)
= 4.13.1-4A643801 ocaml-cmi(Stdlib__Seq)
= 4.13.1-77E29567 ocaml-cmi(Stdlib__Sys)
= 4.13.1-6F39F075 ocaml-cmi(Stdlib__Uchar)
= 4.13.1-F8513103 ocaml-cmx(Cudf)
= 4.13.1-F8B8B4EE ocaml-cmx(Stdlib)
= 4.13.1-A6D9902A ocaml-cmx(Stdlib__Callback)
= 4.13.1-54DA4609 ocaml-cmx(Stdlib__Printf)
= 4.13.1-3AA36557 ocaml-cmx(Stdlib__Sys)
= 4.13.1 ocaml-runtime
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 4.13.1-F9C9CC13 ocaml-cmi(Mccs)
= 4.13.1-52F99645 ocaml-cmi(Ocaml_mccs_glpk)
= 4.13.1-BC13144F ocaml-cmx(Mccs)
= 4.13.1-10C07A4F ocaml-cmx(Ocaml_mccs_glpk)
- ocaml-dll(mccs_glpk_stubs)
- ocaml-dll(mccs_stubs)
= 1.1.13-alt1:p10+289137.4400.8.1 ocaml-mccs


نحوه نصب


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

    sudo apt-get install ocaml-mccs-1.1.13-alt1.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.13
/usr/share/doc/ocaml-mccs-1.1.13/LICENCE
/usr/share/doc/ocaml-mccs-1.1.13/README.md


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

تاریخ آخرین تغییر جزئیات
2021-09-08

1.1.13

2020-02-26

1.1.11

2019-08-02

1.1.10

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