How to Install and Uninstall libwhy3-ocaml-dev Package on Debian 11 (Bullseye)

Last updated: April 29,2024

1. Install "libwhy3-ocaml-dev" package

This guide let you learn how to install libwhy3-ocaml-dev on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libwhy3-ocaml-dev" package

Please follow the guidelines below to uninstall libwhy3-ocaml-dev on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libwhy3-ocaml-dev package on Debian 11 (Bullseye)

Package: libwhy3-ocaml-dev
Source: why3 (1.3.3-1)
Version: 1.3.3-1+b4
Installed-Size: 44442
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libwhy3-ocaml-dev-9njo6
Depends: tex-common (>= 6.13), libmenhir-ocaml-dev-gl1q4, libnum-ocaml-dev-80ki3, libzip-ocaml-dev-l8p50, ocaml-nox-4.11.1
Suggests: ocaml-findlib
Description: OCaml librariries for why3 (dev)
Description-md5: 072a6256bf533fcf1d18fe6a382eb298
Homepage: http://why3.lri.fr/
Section: ocaml
Priority: optional
Filename: pool/main/w/why3/libwhy3-ocaml-dev_1.3.3-1+b4_amd64.deb
Size: 9624832
MD5sum: fe352f959b6eb0a381c55689c2f39b65
SHA256: cff8c799835136e9f208a58e4f72198dc9b5822587395ea447b14a969ee008bd