How to Install and Uninstall libpolyml-dev Package on Debian 12 (Bookworm)

Last updated: December 23,2024

1. Install "libpolyml-dev" package

Please follow the guidance below to install libpolyml-dev on Debian 12 (Bookworm)

$ sudo apt update $ sudo apt install libpolyml-dev

2. Uninstall "libpolyml-dev" package

This guide covers the steps necessary to uninstall libpolyml-dev on Debian 12 (Bookworm):

$ sudo apt remove libpolyml-dev $ sudo apt autoclean && sudo apt autoremove

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