Cheap VPS & Xen Server

Residential Proxy Network - Hourly & Monthly Packages

How to install libpolyml-dev on Debian Unstable (Sid)

Install libpolyml-dev

Installing libpolyml-dev package on Debian Unstable (Sid) is as easy as running the following command on terminal:

sudo apt-get update
sudo apt-get install libpolyml-dev

libpolyml-dev package information

distro Debian Unstable (Sid)
section Main
name libpolyml-dev
version 5.6-5
description development files for Poly/ML, a compiler for Standard ML
subsection libdevel
maintainer Debian Science Maintainers

Uninstall libpolyml-dev

To remove just libpolyml-dev package itself from Debian Unstable (Sid) execute on terminal:

sudo apt-get remove libpolyml-dev

Uninstall libpolyml-dev and it’s dependent packages

To remove the libpolyml-dev package and any other dependant package which are no longer needed from Debian Sid.

sudo apt-get remove --auto-remove libpolyml-dev

Purging libpolyml-dev

If you also want to delete configuration and/or data files of libpolyml-dev from Debian Sid then this will work:

sudo apt-get purge libpolyml-dev

To delete configuration and/or data files of libpolyml-dev and it’s dependencies from Debian Sid then execute:

sudo apt-get purge --auto-remove libpolyml-dev