Пакет polyml: Информация
Исходный пакет: polyml
Версия: 5.4.1-alt4
Собран: 13 февраля 2019 г. 17:59 в задании #221441
Категория: Разработка/ML
Сообщить об ошибке в пакетеДомашняя страница: http://www.polyml.org
Лицензия: LGPLv2+
О пакете: Standard ML implementation
Описание:
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.
Список бинарных RPM-пакетов, собираемых из данного SRPM:
libpolyml (x86_64, i586)
libpolyml-debuginfo (x86_64, i586)
polyml (x86_64, i586)
polyml-debuginfo (x86_64, i586)
libpolyml (x86_64, i586)
libpolyml-debuginfo (x86_64, i586)
polyml (x86_64, i586)
polyml-debuginfo (x86_64, i586)
Сопровождающий: Yuriy Al. Shirokov
Последнее изменение
13 февраля 2019 г. Pavel Moseev 5.4.1-alt4
- no return statement in the non-void function fixed (according g++8)
30 августа 2012 г. Eugeny A. Rostovtsev 5.4.1-alt3.1
- Rebuilt with gmp 5.0.5
2 июня 2012 г. Yuriy Al. Shirokov 5.4.1-alt3
- wrong russian description fixed