How to Install and Uninstall libghc-cryptol-doc Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 25,2024

1. Install "libghc-cryptol-doc" package

Please follow the steps below to install libghc-cryptol-doc on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-cryptol-doc
            
                    
    
    Copied

2. Uninstall "libghc-cryptol-doc" package

This is a short guide on how to uninstall libghc-cryptol-doc on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-cryptol-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-cryptol-doc package on Ubuntu 22.10 (Kinetic Kudu)

Package: libghc-cryptol-doc
Architecture: all
Version: 2.8.0-1build5.1
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: 32018
Depends: haddock-interface-35
Recommends: ghc-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-1build5.1_all.deb
Size: 1148914
MD5sum: e052b6764ec16bb4137befc2b49aaa6d
SHA1: 13173353dc9936065067d9b95e920a25f4e06f4e
SHA256: ef5dd4bf95c85288882b4640b554bbad99b018de962f3d64079c0bd630fa9882
SHA512: f03a05b15f33a0fef2fe30dd6c642b30a3026f42dd7fcd8531ea92924b8a84eab739a763d4662cb84ba520aa3567c02d3ae06df854718341d6a1ecde708d6deb
Homepage: http://www.cryptol.net/
Description: domain-specific language of cryptography; documentation
Description-md5: a4f102dee8829f71ffaaa2898e14af77