How to Install and Uninstall libghc-cryptol-doc Package on Linux Mint 20.3 (Una)

Last updated: November 07,2024

1. Install "libghc-cryptol-doc" package

Please follow the instructions below to install libghc-cryptol-doc on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-cryptol-doc
            
                    
    
    Copied

2. Uninstall "libghc-cryptol-doc" package

Please follow the instructions below to uninstall libghc-cryptol-doc on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-cryptol-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-cryptol-doc package on Linux Mint 20.3 (Una)

Package: libghc-cryptol-doc
Architecture: all
Version: 2.6.0-4build2
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: 23496
Depends: haddock-interface-33
Recommends: ghc-doc, libghc-base-compat-doc, libghc-gitrev-doc, libghc-graphscc-doc, libghc-heredoc-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-panic-doc, libghc-random-doc, libghc-sbv-doc, libghc-simple-smt-doc, libghc-strict-doc, libghc-tf-random-doc, libghc-transformers-base-doc, libjs-mathjax
Filename: pool/universe/h/haskell-cryptol/libghc-cryptol-doc_2.6.0-4build2_all.deb
Size: 978416
MD5sum: 5476dd4ff112a56159928a72d5e56808
SHA1: 10f6e5db2bb735f1a3eef0532c0a7ad1757d9c7c
SHA256: c7fe4fc4c6c9f5ebb7455fb3b0d5187b1aa11f5beec1bfa560a39701b4de1f26
Homepage: http://www.cryptol.net/
Description: domain-specific language of cryptography; documentation
Description-md5: a4f102dee8829f71ffaaa2898e14af77