How to Install and Uninstall libboogie-cil Package on Kali Linux

Last updated: December 28,2024

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

1. Install "libboogie-cil" package

This guide covers the steps necessary to install libboogie-cil on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libboogie-cil
            
                    
    
    Copied

2. Uninstall "libboogie-cil" package

This is a short guide on how to uninstall libboogie-cil on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libboogie-cil
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libboogie-cil package on Kali Linux

Package: libboogie-cil
Source: boogie
Version: 2.4.1+dfsg-0.1
Installed-Size: 1918
Maintainer: Benjamin Barenblat
Architecture: all
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)
Size: 586908
SHA256: 366c44da57fa524830b28d7830ab647926627bfc1fcfbadca61aa6f3c4719aac
SHA1: e86208b7a4f951e3a14fedabe6ef51424dd4c48d
MD5sum: 040fba7e5cdd4bb336d2f84427631d09
Description: 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
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Section: cli-mono
Priority: optional
Filename: pool/main/b/boogie/libboogie-cil_2.4.1+dfsg-0.1_all.deb