You can uninstall or removes an installed libmlrisctools-smlnj package itself from Ubuntu 14.04 LTS (Trusty Tahr) through the terminal,
$ sudo apt-get remove libmlrisctools-smlnj
If you would like to remove libmlrisctools-smlnj and it's dependent packages which are no longer needed from Ubuntu,
$ sudo apt-get remove --auto-remove libmlrisctools-smlnj
If you use with purge options to libmlrisctools-smlnj package all the configuration and dependent packages will be removed.
$ sudo apt-get purge libmlrisctools-smlnj
If you use purge options along with auto remove, will be removed everything regarding the package, It's really useful when you want to reinstall again.
$ sudo apt-get purge --auto-remove libmlrisctools-smlnj