How to Install and Uninstall libz3-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 23,2024

1. Install "libz3-dev" package

Please follow the step by step instructions below to install libz3-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libz3-dev
            
                    
    
    Copied

2. Uninstall "libz3-dev" package

This guide covers the steps necessary to uninstall libz3-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libz3-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libz3-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libz3-dev
Architecture: amd64
Version: 4.8.12-3.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: 532
Depends: libz3-4 (= 4.8.12-3.1)
Filename: pool/universe/z/z3/libz3-dev_4.8.12-3.1_amd64.deb
Size: 72206
MD5sum: 5c405d244490819c3f90bbeeadac5acb
SHA1: 499761c6e84de483168ef767cbeaacbf25b146ff
SHA256: 27c442b9e019f457f87892928408325623e5787fab9f2f28c5751208c83902b0
SHA512: 69c4e3d021e0e8c2f26d3aa226b3731aed276bc25102eb1c119a2a25a89c00c8f1c2386ecd26a97d4c01ad5d2a9b952cea11a34fb61fab35262af0daa16d026b
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - development files
Description-md5: cc721e9da8dbcbc4af793aa1adc1595d