معرفی شرکت ها

polyml-modules_5.7.1-1_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

modules for Poly/ML, a compiler for Standard ML
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe amd64
نام بسته polyml-modules
نام فایل بسته polyml-modules_5.7.1-1_amd64.deb
نسخه بسته 5.7.1
انتشار بسته 1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.polyml.org
مجوز -
حجم دانلود 502512
حجم نصب 4846
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 standard modules for Poly/ML.


جایگزین ها

بسته نسخه معماری مخزن
polyml-modules_5.7.1-1_i386.deb 5.7.1 i386 Ubuntu universe


نیازمندی

مقدار نام
-


نحوه نصب


نصب پکیج deb polyml-modules:

    sudo apt-get install polyml-modules_5.7.1-1_amd64.deb


فایل ها

مسیرها
./usr/lib/x86_64-linux-gnu/polyml/modules/IntInfAsInt
./usr/share/doc/polyml-modules/changelog.Debian.gz
./usr/share/doc/polyml-modules/copyright