How to Install and Uninstall libboogie-cil Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 10,2024

1. Install "libboogie-cil" package

Please follow the step by step instructions below to install libboogie-cil on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libboogie-cil
            
                    
    
    Copied

2. Uninstall "libboogie-cil" package

In this section, we are going to explain the necessary steps to uninstall libboogie-cil on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libboogie-cil
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libboogie-cil package on Ubuntu 21.10 (Impish Indri)

Package: libboogie-cil
Architecture: all
Version: 2.4.1+dfsg-0.1
Priority: extra
Section: universe/cli-mono
Source: boogie
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Benjamin Barenblat
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1918
Depends: libmono-corlib4.5-cil (>= 5.18.0.240), libmono-system-core4.0-cil (>= 5.18.0.240), libmono-system-drawing4.0-cil (>= 5.12.0.309), libmono-system-numerics4.0-cil (>= 5.16.0.220), libmono-system-runtime-caching4.0-cil (>= 5.12.0.309), libmono-system-windows-forms4.0-cil (>= 5.16.0.220), libmono-system-xml4.0-cil (>= 4.6.1.3), libmono-system4.0-cil (>= 5.18.0.240)
Filename: pool/universe/b/boogie/libboogie-cil_2.4.1+dfsg-0.1_all.deb
Size: 586956
MD5sum: 9ac5610b4acae93b4385a031079a48de
SHA1: f74277a548a8941905c9358461e2fc28c61e451e
SHA256: 932b31f9c26c7f93ab2c71dbefd95b984fe2b0ed8c506d32c1edd0e8cd2a4a3b
SHA512: 0c4f1e8bf9261bedcaa8bd253df05794d0d108d33ecad5c847b40c88c70746046457578d0055ed3108f2e274efb11850ec390b5d4291ccd38d9cd7641d950fa9
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Description-en: verifiable programming language (library)
Boogie is a compiler intermediate language with support for automatic invariant
checking using an SMT solver such as Z3. It supports program verification for
a variety of other, higher-level languages, including Spec\#, C, Dafny, and
Chalice.
.
This package contains the Boogie library.
Description-md5: 9628486121bb5a906dcc3d6cb111643e