polyml - Standard ML implementation

Property Value
Distribution ALT Linux Sisyphus
Repository Classic i586
Package filename polyml-5.4.1-alt4.i586.rpm
Package name polyml
Package version 5.4.1
Package release alt4
Package architecture i586
Package type rpm
Category Development/ML
Homepage -
License -
Maintainer -
Download size 7.83 MB
Installed size 7.83 MB
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.


Package Version Architecture Repository
polyml-5.4.1-alt4.x86_64.rpm 5.4.1 x86_64 Classic
polyml - - -


Name Value
/lib/ld-linux.so.2 -
libpolyml = 5.4.1-alt4:sisyphus+221441.200.2.1
rpmlib(PayloadIsLzma) -


Name Value
polyml = 5.4.1-alt4:sisyphus+221441.200.2.1


Type URL
Mirror ftp.altlinux.org
Binary Package polyml-5.4.1-alt4.i586.rpm
Source Package polyml-5.4.1-alt4.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus i586 classic
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
  2. Update the package index:
    # sudo apt-get update
  3. Install polyml rpm package:
    # sudo apt-get install polyml




2019-02-13 - Pavel Moseev <mars@altlinux.org> 5.4.1-alt4
- no return statement in the non-void function fixed (according g++8)
2012-08-30 - Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 5.4.1-alt3.1
- Rebuilt with gmp 5.0.5
2012-06-02 - Yuriy Shirokov <yushi@altlinux.org> 5.4.1-alt3
- wrong russian description fixed
2012-05-30 - Yuriy Shirokov <yushi@altlinux.org> 5.4.1-alt2
- spec bug with /usr/lib/* fixed
2012-05-27 - Yuriy Shirokov <yushi@altlinux.org> 5.4.1-alt1
- initial build

See Also

Package Description
pommed-1.39-alt8.i586.rpm Apple laptops hotkeys event handler
ponyprog2000-2.07c-alt4.i586.rpm Serial device programmer
popa3d-1.0.3-alt1.i586.rpm Post Office Protocol (POP3) server
poppassd-1.8.5-alt1.qa1.i586.rpm Eudora Poppassd modified to support PAM
poppler-0.78.0-alt1.i586.rpm PDF rendering library utils
portsentry-1.2-alt1.qa1.i586.rpm Advanced portscan detector
poster-1.0.1-alt3.20050907.qa1.i586.rpm An utility to scale postscript
postfix-2.11.11-alt2.i586.rpm Postfix Mail Transport Agent
postfix-cyrus-2.11.11-alt2.i586.rpm Cyrus SASL plugin for Postfix
postfix-dovecot-2.11.11-alt2.i586.rpm Dovecot SASL plugin for Postfix
postfix-ldap-2.11.11-alt2.i586.rpm LDAP map support for Postfix
postfix-mysql-2.11.11-alt2.i586.rpm MySQL map support for Postfix
postfix-pcre-2.11.11-alt2.i586.rpm PCRE map support for Postfix
postfix-pgsql-2.11.11-alt2.i586.rpm PostgreSQL map support for Postfix
postfix-test-tools-2.11.11-alt2.i586.rpm Postfix testing tools