How to Install and Uninstall djinn Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: November 21,2024

1. Install "djinn" package

Please follow the steps below to install djinn on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                djinn
            
                    
    
    Copied

2. Uninstall "djinn" package

This is a short guide on how to uninstall djinn on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                djinn
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the djinn package on Ubuntu 20.10 (Groovy Gorilla)

Package: djinn
Architecture: amd64
Version: 2014.9.7-9build4
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.29), libffi8ubuntu1 (>= 3.4~20200819), libgmp10, libtinfo6 (>= 6)
Filename: pool/universe/d/djinn/djinn_2014.9.7-9build4_amd64.deb
Size: 456264
MD5sum: 1b5dd20f4c650307483ef09e207dd85e
SHA1: 1fd4dd18d48ee5c73535f02778295c63fffda75a
SHA256: b651fe7032e4fb932a587b5bb84deca9b91f6a0e7ec5951d5c549f96e503253c
SHA512: 676e3faebc1134935aa470543399965c1c769e77e7a31c82da1e2a93bd9574fed92fc408a96ef12a47cfc341e730c36733c39740dd025b99b5f24c8ea06447f7
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