How to Install and Uninstall cryptol Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: January 24,2025

1. Install "cryptol" package

This is a short guide on how to install cryptol on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cryptol
            
                    
    
    Copied

2. Uninstall "cryptol" package

This guide covers the steps necessary to uninstall cryptol on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptol
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptol package on Ubuntu 24.04 LTS (Noble Numbat)

Package: cryptol
Architecture: amd64
Version: 3.0.0-1build1
Priority: optional
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: 61278
Depends: z3, libc6 (>= 2.38), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Filename: pool/universe/h/haskell-cryptol/cryptol_3.0.0-1build1_amd64.deb
Size: 9864078
MD5sum: 5da8ea4872769c89e96a47bc25a24d3d
SHA1: e1874032826205a1ae88084c4873a2ed774c4ddf
SHA256: 09da7824ff4a6f12e5e932b2cf4e5d4acd0d3db1a5a5ee77ac91248c752f5434
SHA512: 9cf2270b0f7ac6a463f3791564b74de93aca00a09e67874c4bd5c6989ea20cfb1d506e202b3ba8319acc3b4bcd291520455e97db13b09c7a27f1396cfeb907f9
Homepage: http://www.cryptol.net/
Description: domain-specific language of cryptography
Description-md5: b2b888d8f3c9835f0667b440ba188f99