To uninstall mlton-runtime-native just follow these instructions.
sudo apt-get remove mlton-runtime-native
This will remove just the mlton-runtime-native package itself.
sudo apt-get remove --auto-remove mlton-runtime-native
This will remove the mlton-runtime-native package and any other dependant packages which are no longer needed.
If you also want to delete your local/config files for mlton-runtime-native then this will work.
sudo apt-get purge mlton-runtime-native
Or similarly, like this mlton-runtime-native
sudo apt-get purge --auto-remove mlton-runtime-native
|Maintainer||Wesley W. Terpstra (Debian) <firstname.lastname@example.org>|
|Description||Optimizing compiler for Standard ML - native runtime libraries|