How to Install and Uninstall cryptol Package on Debian 11 (Bullseye)

Last updated: February 24,2025

1. Install "cryptol" package

This is a short guide on how to install cryptol on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cryptol
            
                    
    
    Copied

2. Uninstall "cryptol" package

Please follow the steps below to uninstall cryptol on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptol
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptol package on Debian 11 (Bullseye)

Package: cryptol
Source: haskell-cryptol (2.8.0-1)
Version: 2.8.0-1+b2
Installed-Size: 17977
Maintainer: Debian Haskell Group
Architecture: amd64
Depends: z3, libc6 (>= 2.29), libffi7 (>= 3.3~20180313), libgmp10, libtinfo6 (>= 6)
Description: domain-specific language of cryptography
Description-md5: b2b888d8f3c9835f0667b440ba188f99
Homepage: http://www.cryptol.net/
Section: utils
Priority: optional
Filename: pool/main/h/haskell-cryptol/cryptol_2.8.0-1+b2_amd64.deb
Size: 2684384
MD5sum: 23ef943a884f806c1aa84aa3178de6fa
SHA256: 91bb23afc8ef9b94bf02a6fd1e18d974c854f073bc47f53ac49d4be7aba348d3