How to Install and Uninstall libz3-4 Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 13,2024

1. Install "libz3-4" package

This guide let you learn how to install libz3-4 on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libz3-4
            
                    
    
    Copied

2. Uninstall "libz3-4" package

Learn how to uninstall libz3-4 on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libz3-4
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libz3-4 package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libz3-4
Architecture: amd64
Version: 4.8.12-3.1
Multi-Arch: same
Priority: extra
Section: universe/libs
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: LLVM Packaging Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 15407
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.4), libstdc++6 (>= 12)
Breaks: libz3-dev (<< 4.4.1)
Replaces: libz3-dev (<< 4.4.1)
Filename: pool/universe/z/z3/libz3-4_4.8.12-3.1_amd64.deb
Size: 5777552
MD5sum: 5a651c891e3c26d9e895790dc9605fb7
SHA1: 2b0103c769825e002cb124d69ba4c28dfcd9c5ee
SHA256: 4308915a4992a52f7e8e3d6ac56df9de6069a3c66b4c8c64f4e482ee77c3c30c
SHA512: cbda440a90ec4d9ef7c7a07ebd942125681f2eb43ef53dc1bcc2458bc571e40774139ae851e8fd4e3c8f5688d528174336cee8c71ef176020eaede2408e4349d
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - runtime libraries
Description-md5: bb22dda4e1a1c393001bbd9d7a0b56d9