MD5 017614793fe793e401911c0824356a37 sml-mode-0.12-pkg.tar.gz 82366
RMD160 39fba5bcc591839e0c8318bb3414ba22bfd0ef1a sml-mode-0.12-pkg.tar.gz 82366
SHA256 3303b94ee31e399cef8c37de33c00ea4ace4e8006759925d664df7762c0dacc7 sml-mode-0.12-pkg.tar.gz 82366