How to Install and Uninstall libpolyml9 Package on Debian 12 (Bookworm)

Last updated: May 09,2024

1. Install "libpolyml9" package

Please follow the guidance below to install libpolyml9 on Debian 12 (Bookworm)

$ sudo apt update $ sudo apt install libpolyml9

2. Uninstall "libpolyml9" package

Here is a brief guide to show you how to uninstall libpolyml9 on Debian 12 (Bookworm):

$ sudo apt remove libpolyml9 $ sudo apt autoclean && sudo apt autoremove

3. Information about the libpolyml9 package on Debian 12 (Bookworm)

Package: libpolyml9
Source: polyml
Version: 5.7.1-5
Installed-Size: 565
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.34), libffi8 (>= 3.4), libgcc-s1 (>= 3.0), libstdc++6 (>= 5)
Description: runtime files for Poly/ML, a compiler for Standard ML
Description-md5: 6e1db82c6b32728b54ff598cdd28d4f4
Multi-Arch: same
Homepage: http://www.polyml.org
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/p/polyml/libpolyml9_5.7.1-5_amd64.deb
Size: 187368
MD5sum: cc3d52c21abc8c0bfa6c74337a1207e1
SHA256: ce528e4099d913c434e8bf12931a6c36dc50c9294479293a14f9c4429e173e10