(download) (home) (papers) (performance) (projects) (team) (user guide) (users)

The latest stable version, 20020923, is available in the following formats.

You can also download older and newer, experimental versions of MLton.
You can also download other MLton packages for Debian GNU/Linux.

Here are the shared library requirements for the Linux binary versions of MLton.

% rpm -qp --requires mlton-20020923-1.i386.rpm 
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
ld-linux.so.2  
libc.so.6  
libm.so.6  
/bin/sh  
libc.so.6(GLIBC_2.0)  
libc.so.6(GLIBC_2.1)  
libc.so.6(GLIBC_2.1.3)  
libm.so.6(GLIBC_2.0)  
rpmlib(CompressedFileNames) <= 3.0.4-1
     

MLton
Last modified: Mon Sep 23 23:50:49 PDT 2002