How to Install and Uninstall libghc-cryptol-doc Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: November 23,2024

1. Install "libghc-cryptol-doc" package

Please follow the guidelines below to install libghc-cryptol-doc on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                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 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-cryptol-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-cryptol-doc package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libghc-cryptol-doc
Priority: extra
Section: universe/doc
Installed-Size: 8496
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Architecture: all
Source: haskell-cryptol
Version: 2.2.6-1build1
Depends: haddock-interface-27
Recommends: ghc-doc, libghc-monadlib-doc, libghc-random-doc, libghc-sbv-doc, libghc-text-doc
Filename: pool/universe/h/haskell-cryptol/libghc-cryptol-doc_2.2.6-1build1_all.deb
Size: 479174
MD5sum: fb5a33a4398cec454f4864c7127997d0
SHA1: 51990fa1cbaf156127a430157c51916fa7963d52
SHA256: dc4eb19d761f44a2a482f6d0058017009421588c58e9b0fe9edd1fa9e8d4763d
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
Homepage: http://www.cryptol.net/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu