معرفی شرکت ها


polyml-5.4.1-alt4.x86_64.rpm


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Standard ML implementation
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic x86_64
نام بسته polyml
نام فایل بسته polyml-5.4.1-alt4.x86_64.rpm
نسخه بسته 5.4.1
انتشار بسته alt4
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Wed 13 Feb 2019 05
هاست سازنده mars-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://www.polyml.org
مجوز LGPLv2+
حجم دانلود 1.6M
حجم نصب 13.880M
Poly/ML is a full implementation of Standard ML. Poly/ML supports the full version of the language as given in the "Definition of Standard ML (Revised)", generally known as ML97. As well as being extremely fast and efficient implementation of Standard ML Poly/ML provides several additional features. There is a foreign language interface which allows dynamically linked libraries to be loaded and functions within them called from ML. An X-Windows interface using Motif is available. There is also a symbolic debugger for Poly/ML.


جایگزین ها

بسته نسخه معماری مخزن
polyml-5.4.1-alt4.i586.rpm 5.4.1 i586 ALT classic


نیازمندی

مقدار نام
- /lib64/ld-linux-x86-64.so.2
= 5.4.1-alt4:sisyphus+221441.200.2.1 libpolyml
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 5.4.1-alt4:sisyphus+221441.200.2.1 polyml


نحوه نصب


نصب پکیج rpm polyml:

    sudo apt-get install polyml-5.4.1-alt4.x86_64.rpm


فایل ها

مسیرها
/usr/bin/poly
/usr/bin/polyimport
/usr/share/doc/polyml-5.4.1
/usr/share/doc/polyml-5.4.1/TODO.txt
/usr/share/man/man1/poly.1.xz
/usr/share/man/man1/polyimport.1.xz


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

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

no return statement in the non-void function fixed (according g++8)

2012-08-30

Rebuilt with gmp 5.0.5

2012-06-02

wrong russian description fixed

2012-05-30

2012-05-27

initial build