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