How to Install and Uninstall cryptol Package on Debian 10 (Buster)

Last updated: January 24,2025

1. Install "cryptol" package

Please follow the guidelines below to install cryptol on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cryptol
            
                    
    
    Copied

2. Uninstall "cryptol" package

Please follow the step by step instructions below to uninstall cryptol on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptol
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptol package on Debian 10 (Buster)

Package: cryptol
Source: haskell-cryptol (2.6.0-3)
Version: 2.6.0-3+b1
Installed-Size: 15873
Maintainer: Debian Haskell Group
Architecture: amd64
Depends: z3, libatomic1 (>= 4.8), libc6 (>= 2.27), libffi6 (>= 3.0.4), 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.6.0-3+b1_amd64.deb
Size: 2426852
MD5sum: 826abc262fb1325dff2c87cf19e51a87
SHA256: 2c59e5fe900a7b057fe6786fa108a5e055a6d35b07fa909e3ee1a989bca7c990