How to Install and Uninstall libz3-dev Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: November 22,2024

1. Install "libz3-dev" package

This is a short guide on how to install libz3-dev on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                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 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libz3-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libz3-dev package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libz3-dev
Architecture: amd64
Version: 4.4.1-0.3build4
Multi-Arch: same
Priority: extra
Section: universe/libdevel
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 454
Depends: libz3-4 (= 4.4.1-0.3build4)
Filename: pool/universe/z/z3/libz3-dev_4.4.1-0.3build4_amd64.deb
Size: 64240
MD5sum: b63f75fa406f2df1d283d2e282e58a3e
SHA1: 1976d7de7572df5774a1eceb6c127912e3d7cf8e
SHA256: 6d0a0e2239bb08d301b4bdc9839966c24ed5a0809bd072391ab5ac0bf5bd7ef0
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - development files
Description-md5: dc81d51d606e62b66bd716ab76d0526a