How to Install and Uninstall hol88 Package on Debian 12 (Bookworm)

Last updated: January 11,2025

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

MX Linux 23
SparkyLinux

1. Install "hol88" package

Please follow the steps below to install hol88 on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                hol88
            
                    
    
    Copied

2. Uninstall "hol88" package

In this section, we are going to explain the necessary steps to uninstall hol88 on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                hol88
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the hol88 package on Debian 12 (Bookworm)

Package: hol88
Version: 2.02.19940316dfsg-5
Installed-Size: 57886
Maintainer: Camm Maguire
Architecture: amd64
Depends: libc6 (>= 2.34), libedit2 (>= 2.11-20080614-0), libgmp10 (>= 2:6.2.1+dfsg1), libtirpc3 (>= 1.0.2), 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.19940316dfsg-5_amd64.deb
Size: 6767604
MD5sum: 7121e91f97a2495a23033cd65acb8ae8
SHA256: c6a5833322d4677c2fc36ae6585343f88b935d55ab524d82fccfe77697c650c2