How to Install and Uninstall hol88 Package on Debian 10 (Buster)

Last updated: May 16,2024

1. Install "hol88" package

Please follow the guidance below to install hol88 on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                hol88
            
                    
    
    Copied

2. Uninstall "hol88" package

This is a short guide on how to uninstall hol88 on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                hol88
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the hol88 package on Debian 10 (Buster)

Package: hol88
Version: 2.02.19940316-35
Installed-Size: 58575
Maintainer: Camm Maguire
Architecture: amd64
Depends: libc6 (>= 2.15), libgmp10, libreadline7 (>= 6.0), libx11-6
Description: Higher Order Logic, system image
Description-md5: 856cec9d207e6303a374714c344fc2a5
Tag: uitoolkit::ncurses
Section: math
Priority: optional
Filename: pool/main/h/hol88/hol88_2.02.19940316-35_amd64.deb
Size: 6415060
MD5sum: 66118e4a02950c540de7ac06e964828a
SHA256: f93e67acd18e3a90e6119f5534670afb92ca541029a1c0db3fc90abeb7b390f4