How to Install and Uninstall libpolyml-dev Package on Debian 12 (Bookworm)
Last updated: December 23,2024
Notice
You can also install and uninstall the libpolyml-dev on the following distributions in the same way, as they are all based on the Debian system
- MX Linux 23
- SparkyLinux
1. Install "libpolyml-dev" package
Please follow the guidance below to install libpolyml-dev on Debian 12 (Bookworm)
$
sudo apt update
Copied
$
sudo apt install
libpolyml-dev
Copied
2. Uninstall "libpolyml-dev" package
This guide covers the steps necessary to uninstall libpolyml-dev on Debian 12 (Bookworm):
$
sudo apt remove
libpolyml-dev
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libpolyml-dev package on Debian 12 (Bookworm)
Package: libpolyml-dev
Source: polyml
Version: 5.7.1-5
Installed-Size: 1217
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libpolyml9 (= 5.7.1-5)
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-5_amd64.deb
Size: 225100
MD5sum: d66e185eefe95dd9a326d7d67f5b7a31
SHA256: 104c4b67f09f320ee257db85dc9309aa1eb838bbdb4a380e107f10129b18b77c
Source: polyml
Version: 5.7.1-5
Installed-Size: 1217
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libpolyml9 (= 5.7.1-5)
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-5_amd64.deb
Size: 225100
MD5sum: d66e185eefe95dd9a326d7d67f5b7a31
SHA256: 104c4b67f09f320ee257db85dc9309aa1eb838bbdb4a380e107f10129b18b77c