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

Last updated: July 16,2024

You can also install and uninstall the hol88-library 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" package

Please follow the guidance below to install hol88-library on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                hol88-library
            
                    
    
    Copied

2. Uninstall "hol88-library" package

Please follow the instructions below to uninstall hol88-library on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                hol88-library
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: hol88-library
Architecture: amd64
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: 34643
Filename: pool/universe/h/hol88/hol88-library_2.02.19940316-35.1_amd64.deb
Size: 3932708
MD5sum: 0a95653faa8328a4290cdf41d5ec9240
SHA1: 4ce0b367a3f553b2769843d2b0edee37197d5633
SHA256: 62ef143220bf637abbad1f7f889fb0151555f124c57cb60c664f6aa38fe33283
SHA512: ab6a70fe8159604a4156ab81c7fb2d0e0f7c949f79cecc7dc1780a599ea224f29e207862e9302c85a6fc7725390103fefe8b5084cb1acc917257aa2f45581f10
Description: Higher Order Logic, binary library modules
Description-md5: ed59d638b3f8235fcf108a92c86aacfe