How to Install and Uninstall djinn Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 11,2024

1. Install "djinn" package

Please follow the guidance below to install djinn on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                djinn
            
                    
    
    Copied

2. Uninstall "djinn" package

This tutorial shows how to uninstall djinn on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                djinn
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the djinn package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: djinn
Priority: extra
Section: universe/haskell
Installed-Size: 2375
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Architecture: amd64
Version: 2014.9.7-4
Depends: libc6 (>= 2.15), libffi6 (>= 3.0.4), libgmp10, libtinfo5 (>= 6)
Filename: pool/universe/d/djinn/djinn_2014.9.7-4_amd64.deb
Size: 465572
MD5sum: d146e63090e93beaa770c0dad7b86c49
SHA1: 20fd42b13c1f7c133aeea15e183df855076503d3
SHA256: 4f543d4138679b702ba51429d78cc02f9161b427e2a49abbebfecb1f6eab3de6
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
Homepage: http://hackage.haskell.org/package/djinn
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu