How to Install and Uninstall hol-light Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: December 28,2024

1. Install "hol-light" package

This tutorial shows how to install hol-light on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                hol-light
            
                    
    
    Copied

2. Uninstall "hol-light" package

This tutorial shows how to uninstall hol-light on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                hol-light
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the hol-light package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: hol-light
Architecture: amd64
Version: 20170706-0ubuntu4
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 32877
Depends: camlp5, camlp5-ps9p6, ocaml-nox-4.05.0
Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev
Filename: pool/universe/h/hol-light/hol-light_20170706-0ubuntu4_amd64.deb
Size: 4202040
MD5sum: 45b9831693c2d2189203eaa5a8da0e24
SHA1: 4840d779634eeb16b4561713aa1d8b9142ca128f
SHA256: fa7b446bbf9ca4de04a6858bcbcc27c883929cd33a11739ba92387363ca7ad27
Homepage: http://www.cl.cam.ac.uk/~jrh13/hol-light/
Description: HOL Light theorem prover
Description-md5: dd99a4d17d1f2693631036e77802a382