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

Last updated: May 14,2024

1. Install "libz3-cil" package

Learn how to install libz3-cil on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libz3-cil
            
                    
    
    Copied

2. Uninstall "libz3-cil" package

This tutorial shows how to uninstall libz3-cil on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libz3-cil
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libz3-cil
Architecture: amd64
Version: 4.4.1-0.3build4
Priority: extra
Section: universe/cli-mono
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 206
Depends: libz3-dev (= 4.4.1-0.3build4), libmono-corlib4.5-cil (>= 4.6.1.3), libmono-system-numerics4.0-cil (>= 4.6.1.3)
Filename: pool/universe/z/z3/libz3-cil_4.4.1-0.3build4_amd64.deb
Size: 40792
MD5sum: 35ba04fe9cd03b5d60d80729f85a3343
SHA1: 486e019c02c1573f5046afa2a5437db91e4050a4
SHA256: 36c531386a37bd11d0c645b03688bdd538d21ea8a3c09bbadde22ea372986126
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - CLI bindings
Description-md5: 7757b1134bdbdb0096c6719d5a1df5f8