Install polyml
Installing polyml package on Debian Unstable (Sid) is as easy as running the following command on terminal:
sudo apt-get update sudo apt-get install polyml
polyml package information
| distro | Debian Unstable (Sid) |
|---|---|
| section | Main |
| name | polyml |
| version | 5.6-5 |
| description | interpreter and interactive compiler for Standard ML |
| subsection | interpreters |
| website | polyml.org |
| maintainer | Debian Science Maintainers |
Uninstall polyml
To remove just polyml package itself from Debian Unstable (Sid) execute on terminal:
sudo apt-get remove polyml
Uninstall polyml and it’s dependent packages
To remove the polyml package and any other dependant package which are no longer needed from Debian Sid.
sudo apt-get remove --auto-remove polyml
Purging polyml
If you also want to delete configuration and/or data files of polyml from Debian Sid then this will work:
sudo apt-get purge polyml
To delete configuration and/or data files of polyml and it’s dependencies from Debian Sid then execute:
sudo apt-get purge --auto-remove polyml
