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