How to Install and Uninstall cryptol Package on Kali Linux

Last updated: April 28,2024

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

1. Install "cryptol" package

This tutorial shows how to install cryptol on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cryptol
            
                    
    
    Copied

2. Uninstall "cryptol" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptol
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptol package on Kali Linux

Package: cryptol
Source: haskell-cryptol (2.8.0-1)
Version: 2.8.0-1+b3
Installed-Size: 17977
Maintainer: Debian Haskell Group
Architecture: amd64
Depends: z3, libc6 (>= 2.29), libffi8 (>= 3.4), libgmp10 (>= 2:6.2.1+dfsg), libtinfo6 (>= 6)
Size: 2685440
SHA256: c4f328aa9273db43427eec8f8f2ddbb80734ec2a23d958b30447384374cc5bb0
SHA1: 946869253678073cab933821200e89e8c200da3e
MD5sum: 280ce66b2fd0a1d14ab7b906663b5ca7
Description: domain-specific language of cryptography
Cryptol is a domain-specific language for specifying cryptographic
algorithms. A Cryptol implementation of an algorithm resembles its
mathematical specification more closely than an implementation in
a general purpose language.
Description-md5: b2b888d8f3c9835f0667b440ba188f99
Homepage: http://www.cryptol.net/
Section: utils
Priority: optional
Filename: pool/main/h/haskell-cryptol/cryptol_2.8.0-1+b3_amd64.deb