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

Last updated: February 17,2025

1. Install "libboogie-cil" package

Please follow the steps below to install libboogie-cil on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libboogie-cil
            
                    
    
    Copied

2. Uninstall "libboogie-cil" package

Here is a brief guide to show you how to uninstall libboogie-cil on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libboogie-cil
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libboogie-cil
Architecture: all
Version: 2.3.0.61016+dfsg+3.gbp1f2d6c1-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: 1706
Depends: libmono-corlib4.5-cil (>= 4.2.0), libmono-system-core4.0-cil (>= 4.2.0), libmono-system-drawing4.0-cil (>= 3.0.6), libmono-system-numerics4.0-cil (>= 1.0), libmono-system-runtime-caching4.0-cil (>= 4.0.0~alpha1), libmono-system-windows-forms4.0-cil (>= 1.0), libmono-system-xml4.0-cil (>= 4.2.0), libmono-system4.0-cil (>= 4.2.0)
Filename: pool/universe/b/boogie/libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
Size: 558848
MD5sum: f2d753336612eebb060671daf348cc92
SHA1: a17488155b8320dbcf126ddccba87b775c093da0
SHA256: 1d26d5cba360ecddb0e70858e0f4af92591ac0b915e096038ddab381c8f1cd77
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Description: verifiable programming language (library)
Description-md5: 9628486121bb5a906dcc3d6cb111643e