Cheap VPS & Xen Server

Residential Proxy Network - Hourly & Monthly Packages

How to install polyml on Debian Unstable (Sid)

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
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