How to Install and Uninstall libwhy3-ocaml-dev Package on Debian 12 (Bookworm)

Last updated: May 15,2024

You can also install and uninstall the libwhy3-ocaml-dev on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libwhy3-ocaml-dev" package

Here is a brief guide to show you how to install libwhy3-ocaml-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libwhy3-ocaml-dev" package

This guide let you learn how to uninstall libwhy3-ocaml-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libwhy3-ocaml-dev package on Debian 12 (Bookworm)

Package: libwhy3-ocaml-dev
Source: why3 (1.5.1-1)
Version: 1.5.1-1+b2
Installed-Size: 48276
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libwhy3-ocaml-dev-2bt20
Depends: tex-common (>= 6.13), libmenhir-ocaml-dev-dyfe5, libnum-ocaml-dev-bq435, libzip-ocaml-dev-kj2q1, ocaml-4.13.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.5.1-1+b2_amd64.deb
Size: 10650164
MD5sum: cb6dad6268574f7cac2b06aaac76965a
SHA256: 5efb0e1f98ba44e20ad1a3ff71647a6929de572f1851d1f8f25ba3172d224ea0