mlton-tools - Optimizing compiler for Standard ML - tools

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name mlton-tools
Package version 20100608
Package release 5ubuntu1
Package architecture amd64
Package type deb
Installed size 3.87 KB
Download size 1.49 MB
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 package includes tools which autogenerate SML.


Package Version Architecture Repository
mlton-tools_20100608-5ubuntu1_i386.deb 20100608 i386 Ubuntu Universe
mlton-tools - - -


Name Value
libc6 >= 2.4
libgmp10 -


Name Value
mlton << 20100608-3


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



See Also

Package Description
mlton_20100608-5ubuntu1_all.deb Optimizing compiler for Standard ML
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