How to Install and Uninstall djinn Package on Kali Linux

Last updated: November 07,2024

1. Install "djinn" package

Please follow the steps below to install djinn on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                djinn
            
                    
    
    Copied

2. Uninstall "djinn" package

Please follow the instructions below to uninstall djinn on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                djinn
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the djinn package on Kali Linux

Package: djinn
Source: djinn (2014.9.7-9)
Version: 2014.9.7-9+b2
Installed-Size: 2346
Maintainer: Debian Haskell Group
Architecture: amd64
Depends: libc6 (>= 2.29), libffi8 (>= 3.4), libgmp10 (>= 2:6.2.1+dfsg), libtinfo6 (>= 6)
Size: 458436
SHA256: 1e3c043f6d330fefc30413589ff9ae907158be765a9cd8ee7b858a92972047c4
SHA1: 389f9cdc1649f632db4c099fa2b343ca07cdc412
MD5sum: 06ac481db29d00dde8d5437a6c310529
Description: 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:
Homepage: http://hackage.haskell.org/package/djinn
Tag: uitoolkit::ncurses
Section: haskell
Priority: optional
Filename: pool/main/d/djinn/djinn_2014.9.7-9+b2_amd64.deb