How to Install and Uninstall hol88-library Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 23,2024

1. Install "hol88-library" package

Here is a brief guide to show you how to install hol88-library on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                hol88-library
            
                    
    
    Copied

2. Uninstall "hol88-library" package

Here is a brief guide to show you how to uninstall hol88-library on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                hol88-library
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the hol88-library package on Ubuntu 23.10 (Mantic Minotaur)

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