How to Install and Uninstall djinn Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 09,2024

1. Install "djinn" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                djinn
            
                    
    
    Copied

2. Uninstall "djinn" package

Please follow the step by step instructions below to uninstall djinn on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                djinn
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the djinn package on Ubuntu 21.10 (Impish Indri)

Package: djinn
Architecture: amd64
Version: 2014.9.7-9build4.1
Priority: extra
Section: universe/haskell
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2350
Depends: libc6 (>= 2.34), libffi8 (>= 3.4), libgmp10, libtinfo6 (>= 6)
Filename: pool/universe/d/djinn/djinn_2014.9.7-9build4.1_amd64.deb
Size: 495978
MD5sum: b0bcd148aead09af77a81a53de3fe0fb
SHA1: 77515b452dcf865539bc05166aa10ab0ccba3e48
SHA256: 27dce8e488cd926f5c88f91cc49b21e8cab2fe39c70ba6d35c9c5c5ce4d80c43
SHA512: 670099364a59306b744c2999b3a0a08c2555f6341e68a8b1ed1e7d18abfa89bae12c2a001d1634be4010592e149f762088de27726fb9b29bfc8e5b56a3851a95
Homepage: http://hackage.haskell.org/package/djinn
Description-en: generate Haskell expressions from types
Djinn uses a theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type.
.
Given a type the program will deduce an expression of this type, if one
exists. If the Djinn says the type is not realizable it is because there
is no (total) expression of the given type.
Description-md5: 0860cae12883fa7696c7f600a4fa5fb4