mlton - Optimizing compiler for Standard ML

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name mlton
Package version 20100608
Package release 5ubuntu1
Package architecture all
Package type deb
Installed size 44 B
Download size 3.80 KB
Official Mirror
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_20100608-5ubuntu1_all.deb 20100608 all Ubuntu Universe
mlton - - -


Name Value
mlton-compiler << 20100608-5ubuntu1.1~
mlton-compiler >= 20100608-5ubuntu1
mlton-doc = 20100608-5ubuntu1
mlton-tools << 20100608-5ubuntu1.1~
mlton-tools >= 20100608-5ubuntu1


Type URL
Binary Package mlton_20100608-5ubuntu1_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



See Also

Package Description
mlv-smile_1.47-2_amd64.deb Find statistically significant patterns in sequences
mm3d_1.3.7-1.2ubuntu1_amd64.deb OpenGL based 3D model editor
mmake_2.3-5.1_all.deb Makefile generator for Java programs
mmass-modules_4.0.0-1_amd64.deb Mass spectrometry tool for proteomics - extension modules
mmass_4.0.0-1_all.deb Mass spectrometry tool for proteomics
mmm-mode_0.4.8-6_all.deb Multiple Major Mode for Emacs
mmorph_2.3.4.2-12.1_amd64.deb A two-level morphology tool for natural language processing
mmpong-caca_0.9.1-2_amd64.deb massively multiplayer pong game client (caca version)
mmpong-gl-data_0.9.1-2_all.deb massively multiplayer pong game client data (OpenGL version)
mmpong-gl_0.9.1-2_amd64.deb massively multiplayer pong game client (OpenGL version)
mmpongd_0.9.1-2_amd64.deb massively multiplayer pong game server
mmv_1.01b-15_amd64.deb Move/Copy/Append/Link multiple files
mnemo2_2.2.3+debian0-1_all.deb notes/memos component for Horde Framework
mnemosyne-blog_0.12-2_all.deb Maildir-to-blog compiler with XML templating and Python extensions
mnemosyne_1.2.2-2_all.deb spaced repetition flash-card program