Package: mlton-tools Source: mlton Priority: optional Section: universe/devel Installed-Size: 1811 Maintainer: Ubuntu Developers Architecture: amd64 Version: 20241230+git20251029+dfsg-5 Depends: libc6 (>= 2.34), libgmp10 (>= 2:6.3.0+dfsg) Filename: pool/universe/m/mlton/mlton-tools_20241230+git20251029+dfsg-5_amd64.deb Size: 445504 MD5sum: a4936ecea2b9d8b5acb0f13cf6460f2b SHA1: 50b183dbdc2acaf7d0ceeac1423cd5254f6fddfb SHA256: 0c2fcbbaac081fb08fc8bb29da9765da77aecf0c4700f45ce1ee0431e828bd40 SHA512: a2a259f5fa76e893ea9cb378a93d1a00bbfb21c7179c77eac88cdb1479600df0d09c8866f60ff1364ac8780d73bedc27445b3f69d691d0800a68ac4000936661 Homepage: http://mlton.org/ Description: Optimizing compiler for Standard ML - tools Description-md5: 0a856ef6351dbb90a7ca45303a4acb10 Original-Maintainer: Ryan Kavanagh Multi-Arch: foreign Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug