How to Install and Uninstall boogie Package on Debian 11 (Bullseye)

Last updated: November 23,2024

1. Install "boogie" package

This is a short guide on how to install boogie on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                boogie
            
                    
    
    Copied

2. Uninstall "boogie" package

Please follow the guidance below to uninstall boogie on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                boogie
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the boogie package on Debian 11 (Bullseye)

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
Description: verifiable programming language (compiler)
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
Size: 16596
MD5sum: ab1a5e306512ac2a6d0e6fb76f1f97d2
SHA256: 2f34d2e2c45912a4257421a2c647718840ef657ded471f465f1d530f89ae3f07