Package: mlton-tools
Priority: optional
Section: universe/devel
Installed-Size: 3403
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Wesley W. Terpstra (Debian) <terpstra@debian.org>
Architecture: i386
Source: mlton
Version: 20100608-5.1
Replaces: mlton (<< 20100608-3)
Depends: libc6 (>= 2.4), libgmp10
Breaks: mlton (<< 20100608-3)
Filename: pool/universe/m/mlton/mlton-tools_20100608-5.1_i386.deb
Size: 1345268
MD5sum: a091a60f16f7911e907b82c686954a32
SHA1: a35e16aacad40bfd9c71c1d450a3654c1581c2c1
SHA256: edb7b7c2220a47b0c02a7ceb8aa63ea6c8473e1b004e6a685d2b8f4c92d13b00
Description: Optimizing compiler for Standard ML - tools
Multi-Arch: foreign
Homepage: http://mlton.org/
Description-md5: a59e92666abcf7288f4e38dd042239e1
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu