polyml - interpreter and interactive compiler for Standard ML

Property Value
Distribution Ubuntu 16.04 LTS (Xenial Xerus)
Repository Ubuntu Universe amd64
Package name polyml
Package version 5.6
Package release 3
Package architecture amd64
Package type deb
Installed size 14.43 KB
Download size 1.68 MB
Official Mirror archive.ubuntu.com
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 top-level interpreter and compiler.


Package Version Architecture Repository
polyml_5.6-3_i386.deb 5.6 i386 Ubuntu Universe
polyml - - -


Name Value
file -
gcc -
libc6 >= 2.2.5
libffi-dev -
libpolyml7 >= 5.6


Type URL
Binary Package polyml_5.6-3_amd64.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




2016-03-12 - James Clarke <jrtc27@jrtc27.com>
polyml (5.6-3) unstable; urgency=low
* Support for the Hurd
* Build is now reproducible
* Bump up Standards-Version to 3.9.7
* New patches:
- alpha.diff: Add support for alpha
- bss-ioarea.diff: Export ioarea to bss section
- m68k.diff: Add support for m68k
- maxpathlen.diff: Remove all use of MAXPATHLEN
- mips64.diff: Add support for mips64/mips64el
- noexec-stack-gnu.diff: Mark stack as non-executable on all GNU systems
- noflsh-unsigned.diff: Cast NOFLSH to unsigned (fixes a warning on the
- source-date-epoch.diff: Use SOURCE_DATE_EPOCH instead of current time if
it is defined
- x32.diff: Add support for x32
2016-02-01 - James Clarke <jrtc27@jrtc27.com>
polyml (5.6-2) unstable; urgency=low
* Replaced soft-float-rounding.diff with upstream's
rounding-mode-test-only-allow-exceptions-for-set-mode.diff, soft-fpu.diff
and disable-compile-time-real-eval.diff. Avoids modifying the test driver,
instead skipping the test if unsupported directly inside the test itself.
* New patches (excluding soft-float-rounding.diff replacements):
- fix-heap-ratio-assert.diff: Backport upstream's fix to let the
calculated minimum heap size be the same as the desired value.
Previously it failed an assertion.
- fix-script-args.diff: Backport upstream's fix so --script can be used
with additional command-line arguments.
- mips-abi.diff: Mark polyexport.o as CPIC on MIPS when code is
position-independent. Fixes ld warning about linking abicalls files with
non-abicalls files.
- unix-const-vec-unsigned.diff: Define unixConstVec as unsigned. Fixes
narrowing conversion inside braces on PowerPC with GCC 6.
- use-polyunsigned-consistently-for-stream-ids.diff: Backport upstream's
fix so POLYUNSIGNED is used everywhere to refer to stream IDs, avoiding
implicit narrowing conversions. Includes fixed realloc failure handling.
2016-01-25 - James Clarke <jrtc27@jrtc27.com>
polyml (5.6-1) unstable; urgency=low
* New upstream version
* Removed patches applied upstream
* Rename libpolyml6 to libpolyml7
* New patches:
- ioctl-int.diff: Use int instead of unsigned long for ioctl calls. Fixes
Tests/Succeed/Test083.ML on 64-bit big-endian architectures.
- s390.diff: Add support for S/390 (both s390 and s390x).
- soft-float-rounding.diff: Don't support rounding modes for soft-float
systems. Skips Tests/Succeed/Test121.ML on armel.
- streamtoken-endian.diff: Use a POLYUNSIGNED for StreamToken.streamNo.
Fixes stream issues on 64-bit big-endian architectures.
2016-01-24 - James Clarke <jrtc27@jrtc27.com>
polyml (5.5.2-4) unstable; urgency=low
* Take over as uploader
* New patches:
- make-check.diff: Backport upstream's fix so 'make check' runs the
regression test suite
- mips.diff: Backport upstream's support for mips
- mipsel.diff: Backport upstream's support for mipsel
- pexport-endian.diff: Backport upstream's fix for big-endian
- ppc64.diff: Backport upstream's support for ppc64 and ppc64el
2015-10-20 - James Clarke <jrtc27@jrtc27.com>
polyml (5.5.2-3) unstable; urgency=low
* Team upload.
* Backport upstream's arm64 support (Closes: #802341)
* Added file dependency (required by polyc)
2015-10-17 - James Clarke <jrtc27@jrtc27.com>
polyml (5.5.2-2) unstable; urgency=low
* Team upload.
* Enable all hardening flags (currently adds -fPIE, -pie and -Wl,-z,now)
* Added gcc dependency (required by polyc)
* Added libffi-dev dependency so polyc can link compiled code against it

See Also

Package Description
polyorb-doc_2.11~20140418-3_all.deb Multiple-personality middleware for Ada (documentation)
polyorb-servers_2.11~20140418-3_amd64.deb Multiple-personality middleware for Ada (servers)
pommed_1.39~dfsg-4_amd64.deb Apple laptops hotkeys event handler
pompem_0.1.0-2_all.deb automate the search for exploits in various databases
pondus_0.8.0-2_all.deb personal weight manager for GTK+2
pong2_0.1.3-1_amd64.deb Remake of old arcade classic in OpenGL
pop3browser_0.4.1-6_all.deb Allows one to check a pop3 mailbox before downloading any mail
popa3d_1.0.3-1_amd64.deb Tiny POP3 daemon, designed with security as the primary goal
popfile_1.1.3+dfsg-0ubuntu1_all.deb email classification tool
poppassd_1.8.5-4_amd64.deb password change server for Eudora and NUPOP
populations_1.2.33+svn0120106-2.1_amd64.deb population genetic software
poretools_0.5.1-1_all.deb toolkit for nanopore nucleotide sequencing data
pork_0.99.8.1-3build1_amd64.deb Console-based AOL Instant Messenger & IRC client
portabase_2.1+git20120910-1.1_amd64.deb Easy-to-use personal database application
portreserve_0.0.4-1_amd64.deb Port reservation program