How to Install and Uninstall hol88-library Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: November 22,2024

1. Install "hol88-library" package

This tutorial shows how to install hol88-library on Ubuntu 24.04 LTS (Noble Numbat)

$ sudo apt update $ sudo apt install hol88-library

2. Uninstall "hol88-library" package

Learn how to uninstall hol88-library on Ubuntu 24.04 LTS (Noble Numbat):

$ sudo apt remove hol88-library $ sudo apt autoclean && sudo apt autoremove

3. Information about the hol88-library package on Ubuntu 24.04 LTS (Noble Numbat)

Package: hol88-library
Architecture: amd64
Version: 2.02.19940316dfsg-5
Priority: optional
Section: universe/math
Source: hol88
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Camm Maguire
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 31928
Filename: pool/universe/h/hol88/hol88-library_2.02.19940316dfsg-5_amd64.deb
Size: 4537418
MD5sum: ae49fdafafce3c4f705afc98de6b9f7f
SHA1: 12e44fa05c5a31b5bc9fe1d6dd87910458c88b2c
SHA256: 4a434e64218f407c2a48b81fb74f74c447f213228d84505157bc552c117c1408
SHA512: 3d17d31b71f438e2fff00dca37a8f1d0ac51a8f0876e037d65381575099ce78d1f75e2db95d0d2c338d877f9abe2e3d3f92abe8d60a7938b1452d5f989912892
Description: Higher Order Logic, binary library modules
Description-md5: ed59d638b3f8235fcf108a92c86aacfe