معرفی شرکت ها

polyml_5.7.1-2_arm64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

interpreter and interactive compiler for Standard ML
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main arm64
نام بسته polyml
نام فایل بسته polyml_5.7.1-2_arm64.deb
نسخه بسته 5.7.1
انتشار بسته 2
معماری بسته arm64
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.polyml.org
مجوز -
حجم دانلود 1758940
حجم نصب 14670
Poly/ML is an implementation of the Standard ML programming language Standard ML is a general-purpose, modular, type-safe, strict, functional programming language. Poly/ML is SML 97 compliant interpreter and compiler that supports the generation of stand-alone executables with an interactive toplevel (REPL). . This package provides the top-level interpreter and compiler.


جایگزین ها

بسته نسخه معماری مخزن
polyml-modules_5.7.1-2_amd64.deb 5.7.1 amd64 Debian main
polyml-modules_5.7.1-2_arm64.deb 5.7.1 arm64 Debian main
polyml-modules_5.7.1-2_armel.deb 5.7.1 armel Debian main
polyml-modules_5.7.1-2_armhf.deb 5.7.1 armhf Debian main
polyml-modules_5.7.1-2_i386.deb 5.7.1 i386 Debian main
polyml-modules_5.7.1-2_mips.deb 5.7.1 mips Debian main
polyml-modules_5.7.1-2_mips64el.deb 5.7.1 mips64el Debian main
polyml-modules_5.7.1-2_mipsel.deb 5.7.1 mipsel Debian main
polyml-modules_5.7.1-2_ppc64el.deb 5.7.1 ppc64el Debian main
polyml-modules_5.7.1-2_s390x.deb 5.7.1 s390x Debian main
polyml_5.7.1-2_amd64.deb 5.7.1 amd64 Debian main
polyml_5.7.1-2_armel.deb 5.7.1 armel Debian main
polyml_5.7.1-2_armhf.deb 5.7.1 armhf Debian main
polyml_5.7.1-2_i386.deb 5.7.1 i386 Debian main
polyml_5.7.1-2_mips.deb 5.7.1 mips Debian main
polyml_5.7.1-2_mips64el.deb 5.7.1 mips64el Debian main
polyml_5.7.1-2_mipsel.deb 5.7.1 mipsel Debian main
polyml_5.7.1-2_ppc64el.deb 5.7.1 ppc64el Debian main
polyml_5.7.1-2_s390x.deb 5.7.1 s390x Debian main


نیازمندی

مقدار نام
- file
- g++
- libffi-dev
= 5.7.1-2 polyml-modules
>= 2.17 libc6
>= 5.7.1~20171120.git44b7b88 libpolyml9


نحوه نصب


نصب پکیج deb polyml:

    sudo apt-get install polyml_5.7.1-2_arm64.deb


فایل ها

مسیرها
./usr/bin/poly
./usr/bin/polyc
./usr/bin/polyimport
./usr/lib/aarch64-linux-gnu/libpolymain.a
./usr/share/doc/polyml/changelog.Debian.gz
./usr/share/doc/polyml/copyright
./usr/share/man/man1/poly.1.gz
./usr/share/man/man1/polyc.1.gz
./usr/share/man/man1/polyimport.1.gz