How to Install and Uninstall libghc-cryptol-doc Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: September 20,2024

1. Install "libghc-cryptol-doc" package

This guide let you learn how to install libghc-cryptol-doc on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-cryptol-doc
            
                    
    
    Copied

2. Uninstall "libghc-cryptol-doc" package

Please follow the guidance below to uninstall libghc-cryptol-doc on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-cryptol-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-cryptol-doc package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libghc-cryptol-doc
Architecture: all
Version: 2.4.0-3
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: 12390
Depends: haddock-interface-28
Recommends: ghc-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-random-doc, libghc-sbv-doc, libghc-simple-smt-doc, libghc-text-doc, libghc-transformers-base-doc, libjs-mathjax
Filename: pool/universe/h/haskell-cryptol/libghc-cryptol-doc_2.4.0-3_all.deb
Size: 622376
MD5sum: 7a6d951f63d53a8998d23ba433a9128e
SHA1: 46481be6c1ad82755e1bfc24b662d11cc31d38d3
SHA256: 34e1efe1ea81d377d7f97c9518f99c7a3b6b04facfe4fd04bd3bf49058ec0976
Homepage: http://www.cryptol.net/
Description: domain-specific language of cryptography; documentation
Description-md5: a4f102dee8829f71ffaaa2898e14af77