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

Last updated: May 11,2024

1. Install "libz3-ocaml-dev" package

This guide covers the steps necessary to install libz3-ocaml-dev on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libz3-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libz3-ocaml-dev" package

In this section, we are going to explain the necessary steps to uninstall libz3-ocaml-dev on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libz3-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libz3-ocaml-dev
Source: z3
Version: 4.4.1-1~deb10u1
Installed-Size: 6479
Maintainer: LLVM Packaging Team
Architecture: amd64
Depends: libz3-dev (= 4.4.1-1~deb10u1), ocaml-nox-4.05.0, libc6 (>= 2.4), libz3-4
Recommends: ocaml-findlib
Description: theorem prover from Microsoft Research - OCaml bindings
Description-md5: e15b256ee8b99be39bcf2933abe6586c
Homepage: https://github.com/Z3Prover/z3
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/z/z3/libz3-ocaml-dev_4.4.1-1~deb10u1_amd64.deb
Size: 526152
MD5sum: f7229853b363fc470e67a859b56a7741
SHA256: 6733f4c803fbe3e8ba859001dd7a0bd1071f53fb52ba6a0103ab0c5918c0658c