How to Install and Uninstall libghc-djinn-ghc-doc Package on Ubuntu 21.10 (Impish Indri)

Last updated: December 29,2024

1. Install "libghc-djinn-ghc-doc" package

This is a short guide on how to install libghc-djinn-ghc-doc on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-djinn-ghc-doc
            
                    
    
    Copied

2. Uninstall "libghc-djinn-ghc-doc" package

In this section, we are going to explain the necessary steps to uninstall libghc-djinn-ghc-doc on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-djinn-ghc-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-djinn-ghc-doc package on Ubuntu 21.10 (Impish Indri)

Package: libghc-djinn-ghc-doc
Architecture: all
Version: 0.0.2.3-10build4
Priority: extra
Section: universe/doc
Source: haskell-djinn-ghc
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 218
Depends: haddock-interface-35
Recommends: ghc-doc, libjs-mathjax
Filename: pool/universe/h/haskell-djinn-ghc/libghc-djinn-ghc-doc_0.0.2.3-10build4_all.deb
Size: 31892
MD5sum: 1a85dfb9229c5752e1dc8c88a882041e
SHA1: cd53605afe8f380c3adae619685b17643dbbe0ea
SHA256: 1964d47dcdeedacaa9ce1d63ddec9620759b7949ccf281ee7a130e4d5e590a06
SHA512: b0cc0efd036c16ede0599d6e559d5833c2b2b94f4ef6a9e660cd5801f44b827de33ccf800bf7fcf61864af8bce87f11e032a6488317428f7b53eb33680dffbd7
Homepage: http://hackage.haskell.org/package/djinn-ghc
Description-en: generate Haskell code from a type (bridge to GHC API); documentation
Djinn uses an theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is the bridge from djinn-lib to
GHC API.
.
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: 025a3749ba376e6e0eb1a739e722e0ae