How to Install and Uninstall hol88-library-source Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: February 24,2025

You can also install and uninstall the hol88-library-source on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "hol88-library-source" package

Here is a brief guide to show you how to install hol88-library-source on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                hol88-library-source
            
                    
    
    Copied

2. Uninstall "hol88-library-source" package

In this section, we are going to explain the necessary steps to uninstall hol88-library-source on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                hol88-library-source
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the hol88-library-source package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: hol88-library-source
Architecture: all
Version: 2.02.19940316-35.1
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: 3614
Filename: pool/universe/h/hol88/hol88-library-source_2.02.19940316-35.1_all.deb
Size: 417256
MD5sum: 21fbcbc83f47b9197441919e16a32daf
SHA1: b630fefa62fd8180c854d3c1cd4f013da9d6ab5f
SHA256: 3f98fdf1a96553a185e58b82dd57dc0eee9af920b101a26859899b2ec3d6f6a8
SHA512: 81395bc64d402c0f5cbbfdeed56042b3c8cc6211e40446644c65ca8800f3771aac72b79a211d8cd046e8fbf51b2068aa8da9e1008590751235182faf4660742f
Description: Higher Order Logic, library source files
Description-md5: e521c5a5140872f1eacc44ebd11ff5bc