How to Install and Uninstall hol-light Package on Debian 11 (Bullseye)

Last updated: November 23,2024

1. Install "hol-light" package

Learn how to install hol-light on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                hol-light
            
                    
    
    Copied

2. Uninstall "hol-light" package

This is a short guide on how to uninstall hol-light on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                hol-light
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the hol-light package on Debian 11 (Bullseye)

Package: hol-light
Source: hol-light (20190729-4)
Version: 20190729-4+b3
Installed-Size: 37815
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: camlp5, camlp5-2o8n6, ocaml-nox-4.11.1
Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev, python
Description: HOL Light theorem prover
Description-md5: 4a69d13e99a5d21da7555a1ffc45abd5
Homepage: http://www.cl.cam.ac.uk/~jrh13/hol-light/
Section: math
Priority: optional
Filename: pool/main/h/hol-light/hol-light_20190729-4+b3_amd64.deb
Size: 4980976
MD5sum: 6fc20146b704f65769301f282f7c4e8d
SHA256: eb0cb629ab28bc7974c0962d1cd4ff44daf330423a9f40bb63592f20963ee816