How to Install and Uninstall boogie Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: April 28,2024

1. Install "boogie" package

Here is a brief guide to show you how to install boogie on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                boogie
            
                    
    
    Copied

2. Uninstall "boogie" package

Learn how to uninstall boogie on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                boogie
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the boogie package on Ubuntu 20.10 (Groovy Gorilla)

Package: boogie
Architecture: all
Version: 2.4.1+dfsg-0.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: 41
Depends: libboogie-cil (= 2.4.1+dfsg-0.1), mono-mcs, z3, mono-runtime (>= 3.0~), libmono-corlib4.5-cil (>= 5.18.0.240), libmono-system-windows-forms4.0-cil (>= 5.16.0.220)
Suggests: libgtk2.0-0
Filename: pool/universe/b/boogie/boogie_2.4.1+dfsg-0.1_all.deb
Size: 14000
MD5sum: d982adfbe351b70b92d911e68765c6d0
SHA1: 4580c7e3947fd327fe8c2b26bcd4736635a2030a
SHA256: b7326f6fa285fc5b10f698147b7dc6b0126719b85337dd6f9f81b47d8c087d5b
SHA512: 89152ad5e2e75ece4389c62cbae69987858bec9726e178702ace5838eeea34606badfcb580cd88f40eeac0cd37d4720b971eee17418ee5a2e03e4c330f34ab99
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Description-en: verifiable programming language (compiler)
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 compiler, as well as bvd, the Boogie
Verification Debugger.
Description-md5: ff05d0b0aea623bace962f4c12b777bd