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

 

Comments

comments