How to Install and Uninstall hol88-library Package on Kali Linux

Last updated: February 02,2025

1. Install "hol88-library" package

This is a short guide on how to install hol88-library on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                hol88-library
            
                    
    
    Copied

2. Uninstall "hol88-library" package

This guide covers the steps necessary to uninstall hol88-library on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                hol88-library
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the hol88-library package on Kali Linux

Package: hol88-library
Source: hol88
Version: 2.02.19940316dfsg-5
Installed-Size: 31097
Maintainer: Camm Maguire
Architecture: amd64
Size: 3863204
SHA256: 90bfd2ec8f26387446c42ef9e0eb5413549d79f10e35887be4975f36d4bf0283
SHA1: 5c4348c6e9ad82b6d93882942ad653a949fe4a5a
MD5sum: b03070c88c108ae4b2fb6c4d264ff5dd
Description: Higher Order Logic, binary library modules
The HOL System is an environment for interactive theorem proving in a
higher-order logic. Its most outstanding feature is its high degree
of programmability through the meta-language ML. The system has a
wide variety of uses from formalizing pure mathematics to
verification of industrial hardware. Academic and industrial sites
world-wide are using HOL.
Description-md5:
Section: math
Priority: optional
Filename: pool/main/h/hol88/hol88-library_2.02.19940316dfsg-5_amd64.deb