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

Last updated: February 24,2025

1. Install "libghc-cryptol-doc" package

This tutorial shows how to install libghc-cryptol-doc on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-cryptol-doc
            
                    
    
    Copied

2. Uninstall "libghc-cryptol-doc" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-cryptol-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-cryptol-doc
Architecture: all
Version: 2.8.0-1build4
Priority: extra
Section: universe/doc
Source: haskell-cryptol
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 28874
Depends: haddock-interface-35
Recommends: libghc-base-compat-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-panic-doc, libghc-random-doc, libghc-sbv-doc, libghc-transformers-base-doc, libjs-mathjax
Filename: pool/universe/h/haskell-cryptol/libghc-cryptol-doc_2.8.0-1build4_all.deb
Size: 1223440
MD5sum: 6b1ee5bab61f918f2c9a993f0accb141
SHA1: 0801112303605a4a5f8a095733bd14cc7c0e69d9
SHA256: ec430fd5586357d285897c9aeab771dfc0a692df7f4e392baf477c1dccfa331a
SHA512: d50b3184b7a419769bcef72d99d18878cbaf9ccb0dde4f4c09848b50057bbfbabc017147de3ccef7711e94e9a159b9bd776d9c9ef7330bf1d422ca3bd0712e81
Homepage: http://www.cryptol.net/
Description-en: domain-specific language of cryptography; documentation
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 the documentation for a library for the Haskell
programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5: a4f102dee8829f71ffaaa2898e14af77