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

Last updated: May 14,2024

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

MX Linux 23
SparkyLinux

1. Install "dafny" package

Please follow the guidelines below to install dafny on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                dafny
            
                    
    
    Copied

2. Uninstall "dafny" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                dafny
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: dafny
Version: 2.3.0+dfsg-0.1
Installed-Size: 1852
Maintainer: Benjamin Barenblat
Architecture: all
Depends: mono-mcs, z3, mono-runtime (>= 3.0~), libboogie-cil, libmono-corlib4.5-cil (>= 5.18.0.240), libmono-system-core4.0-cil (>= 5.18.0.240), libmono-system-numerics4.0-cil (>= 5.16.0.220), libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220), libmono-system4.0-cil (>= 5.18.0.240)
Description: programming language with program correctness verifier
Description-md5: 35c7eb3147639d72fda0fe0e7d5dd94e
Homepage: https://research.microsoft.com/en-us/projects/dafny/
Section: devel
Priority: optional
Filename: pool/main/d/dafny/dafny_2.3.0+dfsg-0.1_all.deb
Size: 489744
MD5sum: d0e6b5a1a420c046e6e191d2e83162ca
SHA256: ec0ff6e5f7dae285badb2f0672f9cec71097f72ee4163b4f11fe0ef2fdc690b8