How to Install and Uninstall dafny Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: November 24,2024

1. Install "dafny" package

Please follow the steps below to install dafny on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                dafny
            
                    
    
    Copied

2. Uninstall "dafny" package

This guide let you learn how to uninstall dafny on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                dafny
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the dafny package on Ubuntu 24.04 LTS (Noble Numbat)

Package: dafny
Architecture: all
Version: 2.3.0+dfsg-0.1
Priority: extra
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Benjamin Barenblat
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1852
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)
Filename: pool/universe/d/dafny/dafny_2.3.0+dfsg-0.1_all.deb
Size: 489788
MD5sum: d62ad94f3c44bca5f7008ce3912ed299
SHA1: 05ebc419065127aeab17ea765251e96dcf4b1978
SHA256: ee05eefa9fdfdbbe60bdad67f842a90f36196abe9c273c8de3c49924e5791986
SHA512: 4ebad5d7ed4ce71f6b300b820e6709be0bcc9a3ab345e3b7ab4c05034b842c14f26349558de9a21ed3c9217e5250fd0c24f84e6cf1bef98069c6564454d1d9d0
Homepage: https://research.microsoft.com/en-us/projects/dafny/
Description: programming language with program correctness verifier
Description-md5: 35c7eb3147639d72fda0fe0e7d5dd94e