How to Install and Uninstall dafny Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: January 11,2025

1. Install "dafny" package

Here is a brief guide to show you how to install dafny on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                dafny
            
                    
    
    Copied

2. Uninstall "dafny" package

This guide let you learn how to uninstall dafny on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                dafny
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the dafny package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: dafny
Architecture: all
Version: 1.9.7-1
Priority: extra
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Benjamin Barenblat
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2860
Depends: mono-mcs, z3, mono-runtime (>= 3.0~), libmono-corlib4.5-cil (>= 4.2.0), libmono-system-core4.0-cil (>= 4.2.0), libmono-system-drawing4.0-cil (>= 3.0.6), libmono-system-numerics4.0-cil (>= 1.0), libmono-system-runtime-caching4.0-cil (>= 4.0.0~alpha1), libmono-system-windows-forms4.0-cil (>= 1.0), libmono-system-xml4.0-cil (>= 4.2.0), libmono-system4.0-cil (>= 4.2.0)
Filename: pool/universe/d/dafny/dafny_1.9.7-1_all.deb
Size: 857752
MD5sum: c994ded4dc965dafc91495493cc4d50d
SHA1: 5fe91fde8a3cb53be834c251899a2cd9fc8dbd5c
SHA256: 1e67700c6e02b61bdfe81d3e4936b39faca3497b479162929e418899e9e0af14
Homepage: https://research.microsoft.com/en-us/projects/dafny/
Description: programming language with program correctness verifier
Description-md5: 35c7eb3147639d72fda0fe0e7d5dd94e