How to Install and Uninstall libpolyml-dev Package on Debian 10 (Buster)

Last updated: November 07,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 $ sudo apt install libpolyml-dev

2. Uninstall "libpolyml-dev" package

Please follow the steps below to uninstall libpolyml-dev on Debian 10 (Buster):

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

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