polyml - interpreter and interactive compiler for the Standard ML programming language

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name polyml
Package version 5.2.1
Package release 1.1
Package architecture i386
Package type deb
Installed size 3.59 KB
Download size 1.13 MB
Official Mirror ftp.br.debian.org
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 toplevel interpreter.


Package Version Architecture Repository
polyml_5.2.1-1.1_amd64.deb 5.2.1 amd64 Debian Main
polyml - - -


Name Value
libc6 >= 2.3.6-6~
libgcc1 >= 1:4.1.1
libpolyml1 >= 5.2
libstdc++6 >= 4.1.1


Type URL
Binary Package polyml_5.2.1-1.1_i386.deb
Source Package polyml

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install polyml deb package:
    # sudo apt-get install polyml




2012-01-11 - Konstantinos Margaritis <markos@debian.org>
polyml (5.2.1-1.1) unstable; urgency=low
* NMU, added armhf to the arch list. (Closes: #623135)
2009-09-03 - Lionel Elie Mamane <lmamane@debian.org>
polyml (5.2.1-1) unstable; urgency=low
[ Achim D. Brucker ]
* Initial upload to Debian (Closes: #494488)
* new upstream version
[ Lionel Elie Mamane ]
* Various packaging fixes
* Bump up Standards-Version to 3.8.2
2008-06-16 - Achim D. Brucker <brucker@member.fsf.org>
polyml (5.2-3) unstable; urgency=low
* Fixed copyright
2008-06-15 - Achim D. Brucker <brucker@member.fsf.org>
polyml (5.2-2) unstable; urgency=low
* Fixed lintian warnings
2008-06-15 - Achim D. Brucker <brucker@member.fsf.org>
polyml (5.2-1) unstable; urgency=low
* Initial release

See Also

Package Description
polyorb-doc_2.11~20140418-3_all.deb Multiple-personality middleware for Ada (documentation)
polyorb-servers_2.11~20140418-3_i386.deb Multiple-personality middleware for Ada (servers)
pommed_1.39~dfsg-4_i386.deb Apple laptops hotkeys event handler
pondus_0.8.0-2_all.deb personal weight manager for GTK+2
pong2_0.1.3-1_i386.deb Remake of old arcade classic in OpenGL
pop3browser_0.4.1-5_all.deb Allows to check a pop3 mailbox before downloading any mail
popa3d_1.0.2-8_i386.deb Tiny POP3 daemon, designed with security as the primary goal
poppassd_1.8.5-4_i386.deb password change server for Eudora and NUPOP
poppler-data_0.4.7-1_all.deb encoding data for the poppler PDF rendering library
poppler-utils_0.26.5-2+deb8u4_i386.deb PDF utilities (based on Poppler)
popularity-contest_1.61_all.deb Vote for your favourite packages automatically
populations_1.2.33+svn0120106-2.1_i386.deb population genetic software
pork_0.99.8.1-2.2+b1_i386.deb Console-based AOL Instant Messenger & IRC client
portabase_2.1+git20120910-1.1_i386.deb Easy-to-use personal database application
portaudio19-dev_19+svn20140130-1_i386.deb Portable audio I/O - development files