How to Install and Uninstall boogie Package on Debian 12 (Bookworm)

Last updated: May 14,2024

You can also install and uninstall the boogie on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "boogie" package

This tutorial shows how to install boogie on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                boogie
            
                    
    
    Copied

2. Uninstall "boogie" package

In this section, we are going to explain the necessary steps to uninstall boogie on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                boogie
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the boogie package on Debian 12 (Bookworm)

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