mlton - Optimizing compiler for Standard ML

Property Value
Distribution Ubuntu 19.04 (Disco Dingo)
Repository Ubuntu Universe amd64
Package filename mlton_20130715-3_all.deb
Package name mlton
Package version 20130715
Package release 3
Package architecture all
Package type deb
Category universe/devel
License -
Maintainer Ubuntu Developers <>
Download size 3.72 KB
Installed size 22.00 KB
MLton is a whole-program optimizing compiler
for Standard ML.  MLton generates standalone
executables with excellent runtime performance,
is SML 97 compliant, and has a complete basis
library.  MLton has source-level profiling,
a fast C FFI, an interface to the GNU
multiprecision library, and lots of useful
This metapackage depends on all MLton packages.


Package Version Architecture Repository
mlton_20130715-3_all.deb 20130715 all Ubuntu Universe
mlton - - -


Name Value
mlton-compiler << 20130715-3.1~
mlton-compiler >= 20130715-3
mlton-doc = 20130715-3
mlton-tools << 20130715-3.1~
mlton-tools >= 20130715-3


Type URL
Binary Package mlton_20130715-3_all.deb
Source Package mlton

Install Howto

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




2016-12-18 - Wesley W. Terpstra <>
mlton (20130715-3) unstable; urgency=low
* Build-depend only on mlton-compiler and mlton-tools
* Buildds got stuck by looking at the mlton all package
* Remove heap-size hacks; debian buildds have >2GB RAM now
* Source-only upload to ensure full rebuild
2016-12-17 - Wesley W. Terpstra <>
mlton (20130715-2) unstable; urgency=low
* Remove policy-problematic smlnj HTML4 from the package
* Remove ports for hurd-i386 (unreliable) and ia64 (dead)
* Add arm64 port (use supplied patch; closes: #791936)
* Add mips64el port (needed a complete arch patch)
* Add ppc64el port (needs bin/platform patch)
* Track s390 port name change to s390x
* Fix kfreebsd ports (removed getpgrp work-around)
* Added build dependency on librsvg2-bin
2016-12-09 - Wesley W. Terpstra <>
mlton (20130715-1) unstable; urgency=low
* New upstream release (closes: #762143)
* Always build PIC on Linux (closes: #837567)
* Bump debhelper compat to 9 (disable empty dbgsym packages)
* Bump standards version to 3.9.8 (use DEB_HOST_MULTIARCH)
* Replace README link with contents to help dh_installdocs
2013-10-19 - Florian Weimer <>
mlton (20100608-5.1) unstable; urgency=low
* Non-Maintainer Upload
* Apply upstream patch to avoid __gmp_const breakage
(Closes: 707410)
* Apply patch from Matthias Klose to allow building on more target
triplets on i386, not just i486-linux-gnu (Closes: 640137)
2011-07-19 - Wesley W. Terpstra (Debian) <>
mlton (20100608-5) unstable; urgency=low
* Newest gcc and binutils fix mips[el] jump problem
* Uploaded mips[el] bootstrap packages as 20100608-4
* Build-Depend on newest gcc and binutils
* Removed explicit-relocs patch
* Include a diffs to current release head
* Necessary for 8-bit aligned MIPS read/writes
* Increase heap-size for mips post-alignment
* Building armel on debian buildd instead of qemu
* Heap-size 1.2g on 1.5g machines
* Added armhf port
2011-04-01 - Wesley W. Terpstra (Debian) <>
mlton (20100608-4) unstable; urgency=low
* Add missing install file for sparc runtime
* Make the self target symlink relative
* Added Replaces and Breaks the old version for smooth upgrades
* Previous build needed manual uploads, so buildd rebuild needed
* Still needing bootstrap:
* mips(el) gcc bug still unresolved and no-explicit-relocs fails too
2011-03-20 - Wesley W. Terpstra (Debian) <>
mlton (20100608-3) unstable; urgency=low
* Include all bugfixes since 20100608 release
* Depend on libgmp-dev (closes: #618268)
* Split package into compiler, runtime, basis, tools, and doc
* Use multiarch to support cross-compiling
* Eliminates the need for a mlton-cross package
* Updated standards version (no changes needed)
2010-06-14 - Wesley W. Terpstra (Debian) <>
mlton (20100608-2) unstable; urgency=low
* Added a new '-mno-explicit-relocs' mips work-around.
* Bug filed with gcc upstream (#44537)
2010-06-11 - Wesley W. Terpstra (Debian) <>
mlton (20100608-1) unstable; urgency=low
* New upstream release
* Removed the mips -fPIC work-around
* Filing a new gcc bug report upstream
2010-05-04 - Wesley W. Terpstra (Debian) <>
mlton (20100504~svn-r7459) unstable; urgency=low
* New snapshot from svn/HEAD
* Includes fixes for PIC codegen on x86
* Better handling of memory exhaustion
* Fix aliasing problem with newest gcc
* Switch to using quilt source format

See Also

Package Description
mlucas_17.1-3_amd64.deb program to perform Lucas-Lehmer test on a Mersenne number
mlv-smile_1.47-6_amd64.deb Find statistically significant patterns in sequences
mm-common_0.9.12-1_all.deb Common build files of the GNOME C++ bindings
mm3d_1.3.11-1_amd64.deb OpenGL based 3D model editor
mma_16.06-2_all.deb Musical MIDI Accompaniment Generator
mmake_2.3-7_all.deb Makefile generator for Java programs
mmark_1.3.6+dfsg-1_amd64.deb Markdown processor in Go geared for the IETF (executable)
mmass-modules_5.5.0-5_amd64.deb Mass spectrometry tool for proteomics - extension modules
mmass_5.5.0-5_all.deb Mass spectrometry tool for proteomics
mmc-utils_0+git20180327.b4fe0c8c-1_amd64.deb Userspace tools for MMC/SD devices
mmdb-bin_1.3.2-1_amd64.deb IP geolocation lookup command-line tool
mmdebstrap_0.4.1-2_all.deb create a Debian chroot
mmh_0.4-2_amd64.deb set of electronic mail handling programs
mmllib-tools_0.3.0.post1-1_all.deb library for handling Music Macro Language (tools)
mmm-mode_0.5.7-3_all.deb Multiple Major Mode for Emacs