How to Install and Uninstall boogie Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: December 24,2024

1. Install "boogie" package

Here is a brief guide to show you how to install boogie on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                boogie
            
                    
    
    Copied

2. Uninstall "boogie" package

This guide let you learn how to uninstall boogie on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                boogie
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the boogie package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: boogie
Architecture: all
Version: 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
Priority: extra
Section: universe/cli-mono
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Benjamin Barenblat
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 42
Depends: libboogie-cil (= 2.3.0.61016+dfsg+3.gbp1f2d6c1-1), mono-mcs, z3, mono-runtime (>= 3.0~), libmono-corlib4.5-cil (>= 4.2.0), libmono-system-windows-forms4.0-cil (>= 1.0)
Suggests: libgtk2.0-0
Filename: pool/universe/b/boogie/boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
Size: 13942
MD5sum: 3fc008d976513ee54a21d4356dd1478c
SHA1: beec5cf1db9ba478460713fbdfc539fe8bdce944
SHA256: 082fcba748daec236b2185d320d16bdc991bd860fd324a9dd3ab0698f6d9a9e5
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Description: verifiable programming language (compiler)
Description-md5: ff05d0b0aea623bace962f4c12b777bd