How to Install and Uninstall cryptol Package on Linux Mint 20.3 (Una)

Last updated: May 13,2024

1. Install "cryptol" package

This tutorial shows how to install cryptol on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cryptol
            
                    
    
    Copied

2. Uninstall "cryptol" package

This guide covers the steps necessary to uninstall cryptol on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptol
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptol package on Linux Mint 20.3 (Una)

Package: cryptol
Architecture: amd64
Version: 2.6.0-4build2
Priority: extra
Section: universe/utils
Source: haskell-cryptol
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 15245
Depends: z3, libatomic1 (>= 4.8), libc6 (>= 2.29), libffi7 (>= 3.3~20180313), libgmp10, libtinfo6 (>= 6)
Filename: pool/universe/h/haskell-cryptol/cryptol_2.6.0-4build2_amd64.deb
Size: 2376036
MD5sum: 9eee575d99639f0de7879f96e5a0bce6
SHA1: dad49468a74a7ec7a0e3843ea5bd74d92feb9453
SHA256: 981aa62fbd9894959f65fffbb0edbf89f5d8e71e2064e4da12c0bb8fa731227b
Homepage: http://www.cryptol.net/
Description: domain-specific language of cryptography
Description-md5: b2b888d8f3c9835f0667b440ba188f99