How to Install and Uninstall libpolyml9 Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 23,2024

1. Install "libpolyml9" package

This guide covers the steps necessary to install libpolyml9 on Ubuntu 22.10 (Kinetic Kudu)

$ sudo apt update $ sudo apt install libpolyml9

2. Uninstall "libpolyml9" package

Please follow the step by step instructions below to uninstall libpolyml9 on Ubuntu 22.10 (Kinetic Kudu):

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

3. Information about the libpolyml9 package on Ubuntu 22.10 (Kinetic Kudu)

Package: libpolyml9
Architecture: amd64
Version: 5.7.1-4ubuntu1
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: 536
Depends: libc6 (>= 2.34), libffi8 (>= 3.4), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5)
Filename: pool/universe/p/polyml/libpolyml9_5.7.1-4ubuntu1_amd64.deb
Size: 202328
MD5sum: 07c170b96ac9588bbabec1752710dd7c
SHA1: b78eeca46d9020985727e35ffa60d5df1dd217fa
SHA256: bbb9360f4a1d0c89446202e92ee13a06a03e07256d2aa21c178b5e9e5f9f8f21
SHA512: ca89ca660f53c3950b4f4d40b8eaab3edd14b7a15cd68a7b7070dfda851bab3a6e570d085a985b4ab0b9332b82e795f255a963ffc157b989a55a755915896948
Homepage: http://www.polyml.org
Description: runtime files for Poly/ML, a compiler for Standard ML
Description-md5: 6e1db82c6b32728b54ff598cdd28d4f4