How to Install and Uninstall cryptol Package on Linux Mint 21.3 (Virginia)

Last updated: December 22,2024

1. Install "cryptol" package

Please follow the instructions below to install cryptol on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cryptol
            
                    
    
    Copied

2. Uninstall "cryptol" package

This is a short guide on how to uninstall cryptol on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptol
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptol package on Linux Mint 21.3 (Virginia)

Package: cryptol
Architecture: amd64
Version: 2.8.0-1build5.1
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: 17979
Depends: z3, libc6 (>= 2.34), libffi8 (>= 3.4), libgmp10, libtinfo6 (>= 6)
Filename: pool/universe/h/haskell-cryptol/cryptol_2.8.0-1build5.1_amd64.deb
Size: 2913632
MD5sum: 54583f26397e5738e048b2202f3d876e
SHA1: 98996632660d14ee46d71c8bb77e3b6bf1dd6cdf
SHA256: aaf71b71bebe0e491a8240cabf2ef9ae74e1590cfeec6059cc46ee5d98e739a6
SHA512: ab4233f66282f76bb0a16cd2c259cfa8086ac15379d9ac049ee14e8d79879b19335fbb275cf77e05bdded6b6eb69699918b45d3e689a71cea65b5a604eaf80e9
Homepage: http://www.cryptol.net/
Description: domain-specific language of cryptography
Description-md5: b2b888d8f3c9835f0667b440ba188f99