How to Install and Uninstall boogie Package on Kali Linux

Last updated: May 14,2024

Deprecated! Installation of this package may no longer be supported.

1. Install "boogie" package

In this section, we are going to explain the necessary steps to install boogie on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                boogie
            
                    
    
    Copied

2. Uninstall "boogie" package

This guide let you learn how to uninstall boogie on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                boogie
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the boogie package on Kali Linux

Package: boogie
Version: 2.4.1+dfsg-0.1
Installed-Size: 41
Maintainer: Benjamin Barenblat
Architecture: all
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
Size: 16596
SHA256: 2f34d2e2c45912a4257421a2c647718840ef657ded471f465f1d530f89ae3f07
SHA1: f3061d95246d381f12bbced4ff460fe20ecb863b
MD5sum: ab1a5e306512ac2a6d0e6fb76f1f97d2
Description: 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
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Section: cli-mono
Priority: optional
Filename: pool/main/b/boogie/boogie_2.4.1+dfsg-0.1_all.deb