How to Install and Uninstall dafny Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 17,2024

1. Install "dafny" package

Here is a brief guide to show you how to install dafny on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                dafny
            
                    
    
    Copied

2. Uninstall "dafny" package

This tutorial shows how to uninstall dafny on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                dafny
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the dafny package on Ubuntu 20.10 (Groovy Gorilla)

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-en: programming language with program correctness verifier
Dafny is a programming language with a program verifier. The verifier
processes function preconditions, postconditions, and assertions, and sends
them to an SMT solver for checking. In this way, assertion failures become
compiler errors, rather than runtime ones.
Description-md5: 35c7eb3147639d72fda0fe0e7d5dd94e