mlton-tools - Optimizing compiler for Standard ML - tools

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package filename mlton-tools_20180207-1_amd64.deb
Package name mlton-tools
Package version 20180207
Package release 1
Package architecture amd64
Package type deb
Category devel
License -
Maintainer Wesley W. Terpstra <>
Download size 1.04 MB
Installed size 3.79 MB


Package Version Architecture Repository
mlton-tools_20130715-3_i386.deb 20130715 i386 Debian Main
mlton-tools - - -


Name Value
libc6 >= 2.27
libgmp10 -


Name Value
mlton << 20100608-3


Type URL
Binary Package mlton-tools_20180207-1_amd64.deb
Source Package mlton

Install Howto

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




2018-04-10 - Wesley W. Terpstra <>
mlton (20180207-1) unstable; urgency=low
* New upstream release; new build-depends:
* changed from htmldoc to python-pygments
* changed from imagemagick to graphicsmagick
* removed dblatex, ruby-albino, librsvg2-bin
* Bump debhelper compat to 10 (cdbs broken with 11/12)
* Bump standards version to 4.1.4
* mlton now only recommends mlton-doc
* Added riscv64 port
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

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+b12_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