How to Install and Uninstall libwhy3-ocaml-dev Package on Kali Linux

Last updated: September 29,2024

1. Install "libwhy3-ocaml-dev" package

Please follow the guidelines below to install libwhy3-ocaml-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libwhy3-ocaml-dev" package

Learn how to uninstall libwhy3-ocaml-dev on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libwhy3-ocaml-dev package on Kali Linux

Package: libwhy3-ocaml-dev
Source: why3 (1.6.0-1)
Version: 1.6.0-1+b4
Installed-Size: 50071
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libwhy3-ocaml-dev-9gwa8
Depends: tex-common (>= 6.13), libmenhir-ocaml-dev-jko84, libnum-ocaml-dev-gltn3, libstdlib-ocaml-dev-ep7y0, libzip-ocaml-dev-fk4o9, ocaml-4.14.1
Suggests: ocaml-findlib
Size: 11050016
SHA256: 8038451b29107f972ebf17db2884c0df9cc2a360438a091b353b20cb630b4e7a
SHA1: 8cb0814846a53b089e3bcf71c8bbe4b82a5cec34
MD5sum: 543a2a270b494d6aeba3a1a2333dec77
Description: OCaml librariries for why3 (dev)
This package contains the libraries of the why3 verification platform
for developing applications using why3.
Description-md5:
Homepage: http://why3.lri.fr/
Section: ocaml
Priority: optional
Filename: pool/main/w/why3/libwhy3-ocaml-dev_1.6.0-1+b4_amd64.deb