How to Install and Uninstall python-z3 Package on Debian 10 (Buster)

Last updated: December 23,2024

1. Install "python-z3" package

This guide let you learn how to install python-z3 on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                python-z3
            
                    
    
    Copied

2. Uninstall "python-z3" package

This guide let you learn how to uninstall python-z3 on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python-z3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the python-z3 package on Debian 10 (Buster)

Package: python-z3
Source: z3
Version: 4.4.1-1~deb10u1
Installed-Size: 541
Maintainer: LLVM Packaging Team
Architecture: amd64
Depends: libz3-dev (= 4.4.1-1~deb10u1), python:any (<< 2.8), python:any (>= 2.7~)
Description: theorem prover from Microsoft Research - Python bindings
Description-md5: e83dc748efc5bac8845fdd9aae7cceee
Homepage: https://github.com/Z3Prover/z3
Section: python
Priority: optional
Filename: pool/main/z/z3/python-z3_4.4.1-1~deb10u1_amd64.deb
Size: 67028
MD5sum: 503a0e401c0a42503028b6e92b492816
SHA256: 69325a925bf26d082f73d873e86d0031b556cd95752eeac2383429a36dfcf3ca