How to Install and Uninstall libpolyml9 Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 18,2024

1. Install "libpolyml9" package

This guide let you learn how to install libpolyml9 on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install libpolyml9

2. Uninstall "libpolyml9" package

Please follow the guidelines below to uninstall libpolyml9 on Ubuntu 23.10 (Mantic Minotaur):

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

3. Information about the libpolyml9 package on Ubuntu 23.10 (Mantic Minotaur)

Package: libpolyml9
Architecture: amd64
Version: 5.7.1-5
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: 529
Depends: libc6 (>= 2.34), libffi8 (>= 3.4), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5)
Filename: pool/universe/p/polyml/libpolyml9_5.7.1-5_amd64.deb
Size: 200360
MD5sum: 8a1c620f43780ee9d032cf4e8676a400
SHA1: 6682dffec39596714fcb5093d796a4910f396da1
SHA256: 56010f83cf818bc24c53955ca2001f7cbb226c695e9aa85efbfe9075710252da
SHA512: a374ccd0bdd2a623c0d47b0b1fb8ad2a208c4a74816c5dc49bccffcace56f066e66163e78460579ac4f8bbbe5e9664e215d8fec02841ea2047d6b5d084485569
Homepage: http://www.polyml.org
Description: runtime files for Poly/ML, a compiler for Standard ML
Description-md5: 6e1db82c6b32728b54ff598cdd28d4f4