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

Last updated: February 03,2025

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

MX Linux 23
SparkyLinux

1. Install "hol88-source" package

Learn how to install hol88-source on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                hol88-source
            
                    
    
    Copied

2. Uninstall "hol88-source" package

This is a short guide on how to uninstall hol88-source on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                hol88-source
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: hol88-source
Source: hol88
Version: 2.02.19940316dfsg-5
Installed-Size: 1647
Maintainer: Camm Maguire
Architecture: all
Description: Higher Order Logic, source files
Description-md5: 27c7f6d4c5f2c1b835d23e7c80a45f30
Tag: role::source
Section: math
Priority: optional
Filename: pool/main/h/hol88/hol88-source_2.02.19940316dfsg-5_all.deb
Size: 273880
MD5sum: 53928f27c15425a974bd822eea803a5d
SHA256: ffd81efff456b083d857b1f279492a558c46ddbb46c6f4064a2314c5da328858