# This is a part of the wiki manual
mlton: extra-license-file usr/share/doc/mlton/guide/License
