How to Install and Uninstall dafny Package on Kali Linux

Last updated: May 12,2024

Deprecated! Installation of this package may no longer be supported.

1. Install "dafny" package

This is a short guide on how to install dafny on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                dafny
            
                    
    
    Copied

2. Uninstall "dafny" package

Please follow the guidelines below to uninstall dafny on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                dafny
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the dafny package on Kali Linux

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)
Size: 489744
SHA256: ec0ff6e5f7dae285badb2f0672f9cec71097f72ee4163b4f11fe0ef2fdc690b8
SHA1: 5d4161fd3981d83e10dc94c4f373dd95d089ddc7
MD5sum: d0e6b5a1a420c046e6e191d2e83162ca
Description: 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
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