How to Install and Uninstall libwhy3-ocaml-dev Package on Debian 10 (Buster)

Last updated: December 24,2024

1. Install "libwhy3-ocaml-dev" package

Please follow the step by step instructions below to install libwhy3-ocaml-dev on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libwhy3-ocaml-dev" package

This tutorial shows how to uninstall libwhy3-ocaml-dev on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libwhy3-ocaml-dev package on Debian 10 (Buster)

Package: libwhy3-ocaml-dev
Source: why3
Version: 1.2.0-1
Installed-Size: 39605
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libwhy3-ocaml-dev-id6p5
Depends: tex-common (>= 6), libmenhir-ocaml-dev-bzqi1, libzarith-ocaml-dev-gqf85, libzip-ocaml-dev-5t4j6, ocaml-nox-4.05.0, libc6 (>= 2.2.5)
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.2.0-1_amd64.deb
Size: 7831744
MD5sum: 4206bc2a0956b29a6e2b76e01e7014cc
SHA256: 14d4caa2ada824343399a45afdac14b0a303f666d7d4ccc8a8359bebfbd63b43