How to Install and Uninstall hol-light Package on Kali Linux

Last updated: December 25,2024

1. Install "hol-light" package

This guide let you learn how to install hol-light on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                hol-light
            
                    
    
    Copied

2. Uninstall "hol-light" package

In this section, we are going to explain the necessary steps to uninstall hol-light on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                hol-light
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the hol-light package on Kali Linux

Package: hol-light
Source: hol-light (20231021-1)
Version: 20231021-1+b2
Installed-Size: 45474
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: camlp5, camlp5-uygc4, libcamlp-streams-ocaml-dev-yu0z3, libcompiler-libs-ocaml-dev-rcwc4, libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1
Suggests: readline-editor, prover9, coinor-csdp, pari-gp, maxima, dmtcp, libocamlgraph-ocaml-dev, python
Size: 5910208
SHA256: 47426e6ee4a7631edf34a98ec471a743af6a12d7efa846a2ef08aba7742e4429
SHA1: 7039f36c958fa1f6cc72d33d9fc2ec34a186ee38
MD5sum: f598e8d3c47ce5c70c4b7ef9d08ad1d0
Description: HOL Light theorem prover
HOL Light is an interactive theorem prover for Higher-Order Logic
with a very simple logical core running in an OCaml toplevel. HOL
Light is famous for the verification of floating-point
arithmetic as well as for the Flyspeck project, which aimed at the
formalization of Tom Hales' proof of the Kepler conjecture.
Description-md5:
Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/
Section: math
Priority: optional
Filename: pool/main/h/hol-light/hol-light_20231021-1+b2_amd64.deb