How to Install and Uninstall libpolyml9 Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 14,2024

1. Install "libpolyml9" package

This guide let you learn how to install libpolyml9 on Ubuntu 18.04 LTS (Bionic Beaver)

$ sudo apt update $ sudo apt install libpolyml9

2. Uninstall "libpolyml9" package

This guide covers the steps necessary to uninstall libpolyml9 on Ubuntu 18.04 LTS (Bionic Beaver):

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

3. Information about the libpolyml9 package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libpolyml9
Architecture: amd64
Version: 5.7.1-1
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: polyml
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 532
Depends: libc6 (>= 2.15), libffi6 (>= 3.0.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 5)
Filename: pool/universe/p/polyml/libpolyml9_5.7.1-1_amd64.deb
Size: 182808
MD5sum: 3322f2743cdb2e4cf1ba8029be574733
SHA1: 081fbaf432823bf9d54aaea4925f605263008e60
SHA256: 12943de9c2dd12bff137b6c2cb65847f644ea6b68b8442355792457e6eaa2785
Homepage: http://www.polyml.org
Description: runtime files for Poly/ML, a compiler for Standard ML
Description-md5: 6e1db82c6b32728b54ff598cdd28d4f4