How to Install and Uninstall libghc-cryptol-dev Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: April 28,2024

1. Install "libghc-cryptol-dev" package

In this section, we are going to explain the necessary steps to install libghc-cryptol-dev on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-cryptol-dev
            
                    
    
    Copied

2. Uninstall "libghc-cryptol-dev" package

Learn how to uninstall libghc-cryptol-dev on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-cryptol-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-cryptol-dev package on Ubuntu 20.10 (Groovy Gorilla)

Package: libghc-cryptol-dev
Architecture: amd64
Version: 2.8.0-1build4
Priority: extra
Section: universe/haskell
Source: haskell-cryptol
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 46231
Provides: libghc-cryptol-dev-2.8.0-44ce2
Depends: libghc-graphscc-dev-1.0.4-b2b71, libghc-array-dev-0.5.4.0-4a8d7, libghc-base-dev-4.13.0.0-c9705, libghc-base-compat-dev-0.11.1-224a5, libghc-bytestring-dev-0.10.10.0-70a9a, libghc-containers-dev-0.6.2.1-b8f3d, libghc-cryptohash-sha1-dev-0.11.100.1-5164e, libghc-deepseq-dev-1.4.4.0-b386b, libghc-directory-dev-1.3.6.0-a7edc, libghc-filepath-dev-1.4.2.1-251c0, libghc-gitrev-dev-1.3.1-517b1, libghc-heredoc-dev-0.2.0.0-9995f, libghc-monad-control-dev-1.0.2.3-19eb9, libghc-monadlib-dev-3.10-91f67, libghc-mtl-dev-2.2.2-13482, libghc-panic-dev-0.4.0.1-c0227, libghc-pretty-dev-1.1.3.6-e80bb, libghc-process-dev-1.6.8.0-e3a1c, libghc-random-dev-1.1-04308, libghc-sbv-dev-8.7-d53aa, libghc-simple-smt-dev-0.9.5-e1d0d, libghc-strict-dev-0.3.2-3596c, libghc-text-dev-1.2.4.0-455b7, libghc-tf-random-dev-0.5-41787, libghc-time-dev-1.9.3-a9e1f, libghc-transformers-base-dev-0.4.5.2-64a24, libc6 (>= 2.29), libgmp10
Suggests: libghc-cryptol-doc, libghc-cryptol-prof
Filename: pool/universe/h/haskell-cryptol/libghc-cryptol-dev_2.8.0-1build4_amd64.deb
Size: 4208556
MD5sum: a52c33660ed48c3a38b7eda066be0ec8
SHA1: 87d2575ddfac9f968e7ee2d830ed075f82ea27e9
SHA256: 9a2823a5f0a7ea14353158a47b45452437c587d40d3a64b6b7941036779bd1ae
SHA512: d49b5a685ec56d54099a6542f633ce0053ff15fca512bc43d7bf8180d9c8093d1ee96223a36a186fa8c9e093e03294dcad32b36c259fa074b84f6269f5e52845
Homepage: http://www.cryptol.net/
Description-en: domain-specific language of cryptography
Cryptol is a domain-specific language for specifying cryptographic
algorithms. A Cryptol implementation of an algorithm resembles its
mathematical specification more closely than an implementation in
a general purpose language.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5: e54962dde2dcda37e29c9514a70f0c8e
Ghc-Package: cryptol-2.8.0-BS2im8DIZEZAX2liSHI2nF