How to Install and Uninstall libpolyml-dev Package on Debian 10 (Buster)
Last updated: November 22,2024
1. Install "libpolyml-dev" package
In this section, we are going to explain the necessary steps to install libpolyml-dev on Debian 10 (Buster)
$
sudo apt update
Copied
$
sudo apt install
libpolyml-dev
Copied
2. Uninstall "libpolyml-dev" package
Please follow the steps below to uninstall libpolyml-dev on Debian 10 (Buster):
$
sudo apt remove
libpolyml-dev
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libpolyml-dev package on Debian 10 (Buster)
Package: libpolyml-dev
Source: polyml
Version: 5.7.1-2
Installed-Size: 1200
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libpolyml9 (= 5.7.1-2)
Description: development files for Poly/ML, a compiler for Standard ML
Description-md5: db20fd643ea90de1e706c31ed98524f2
Multi-Arch: same
Homepage: http://www.polyml.org
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/p/polyml/libpolyml-dev_5.7.1-2_amd64.deb
Size: 222304
MD5sum: e3824b3e6f4ca079419d0aa7dec1a34d
SHA256: af9643cbe77a62c442cf2a93ad0d6e3b1bfeac78f58552ae775521b87ad0b547
Source: polyml
Version: 5.7.1-2
Installed-Size: 1200
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libpolyml9 (= 5.7.1-2)
Description: development files for Poly/ML, a compiler for Standard ML
Description-md5: db20fd643ea90de1e706c31ed98524f2
Multi-Arch: same
Homepage: http://www.polyml.org
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/p/polyml/libpolyml-dev_5.7.1-2_amd64.deb
Size: 222304
MD5sum: e3824b3e6f4ca079419d0aa7dec1a34d
SHA256: af9643cbe77a62c442cf2a93ad0d6e3b1bfeac78f58552ae775521b87ad0b547