How to Install and Uninstall libz3-dev Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: April 29,2024

1. Install "libz3-dev" package

Please follow the instructions below to install libz3-dev on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libz3-dev
            
                    
    
    Copied

2. Uninstall "libz3-dev" package

Please follow the instructions below to uninstall libz3-dev on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libz3-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libz3-dev package on Ubuntu 22.10 (Kinetic Kudu)

Package: libz3-dev
Architecture: amd64
Version: 4.8.12-1
Multi-Arch: same
Priority: extra
Section: universe/libdevel
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: LLVM Packaging Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 533
Depends: libz3-4 (= 4.8.12-1)
Filename: pool/universe/z/z3/libz3-dev_4.8.12-1_amd64.deb
Size: 72178
MD5sum: 65c5129122d55969937aa032a4a34ceb
SHA1: eb6fb681d08ec1daced241aa100ec4c3e1eed7c6
SHA256: 5a50bcae93cb3b2a8384300987071571fee795474d25d92e4d26b68cecf881d6
SHA512: d112ba8361daaeb7e1c93dd1dcd2b6dbbce805a009bd7156c86a234f077d74103b399d18137d21be57502c7557fee5152cf5eb540be504d20e0eb607a827ac29
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - development files
Description-md5: dc81d51d606e62b66bd716ab76d0526a