How to Install and Uninstall libghc-djinn-lib-prof Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: November 22,2024

1. Install "libghc-djinn-lib-prof" package

Please follow the instructions below to install libghc-djinn-lib-prof on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-djinn-lib-prof
            
                    
    
    Copied

2. Uninstall "libghc-djinn-lib-prof" package

Please follow the step by step instructions below to uninstall libghc-djinn-lib-prof on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-djinn-lib-prof
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-djinn-lib-prof package on Ubuntu 20.10 (Groovy Gorilla)

Package: libghc-djinn-lib-prof
Architecture: amd64
Version: 0.0.1.3-4build1
Priority: extra
Section: universe/haskell
Source: haskell-djinn-lib
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1436
Provides: libghc-djinn-lib-prof-0.0.1.3-1240e
Depends: libghc-djinn-lib-dev (= 0.0.1.3-4build1), libghc-base-prof-4.13.0.0-c9705, libghc-containers-prof-0.6.2.1-b8f3d, libghc-mtl-prof-2.2.2-13482, libghc-pretty-prof-1.1.3.6-e80bb
Filename: pool/universe/h/haskell-djinn-lib/libghc-djinn-lib-prof_0.0.1.3-4build1_amd64.deb
Size: 155264
MD5sum: 68acdaf009afe798b714f34921c6d854
SHA1: dfbb978ea8fd5ac44eb345673ce832dbf12da5c9
SHA256: 859061769a225dc17fecca5ab3803891a9e45d5a1b4441d82f4991b688c8a2f8
SHA512: 2582d042604df2b93e2b0a9b1163f8b9803af6349cbbe9a8a5ab11701f8c78ca9c78e1d1daa3a82f00bd10422199a40e0db59861ce901bc961b974756da96b2f
Homepage: http://www.augustsson.net/Darcs/Djinn/
Description-en: Generate Haskell code from a type; profiling libraries
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
This package provides a library for the Haskell programming language, compiled
for profiling. See http://www.haskell.org/ for more information on Haskell.
Description-md5: f75be10cbc18413e643521359fd14d6a