           SPELL=haskell-djinn-lib
         VERSION=0.0.1.2
          SOURCE="djinn-lib-${VERSION}.tar.gz"
   SOURCE_URL[0]=https://hackage.haskell.org/package/djinn-lib-${VERSION}/${SOURCE}
     SOURCE_HASH=sha512:403878b72540362a6b6d545a65ded9f10d05c623180adf8a03e732fac30dd00a42b090b9e4f9da16baa5dc1fdbd6f29a97158174917f3c0527a37b6ecbcfbe8e
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/djinn-lib-${VERSION}"
        WEB_SITE="http://www.augustsson.net/Darcs/Djinn/"
      LICENSE[0]=BSD
         ENTERED=20180204
           SHORT="a theorem prover for intuitionistic propositional logic"
cat << EOF
Djinn uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn sources.
EOF
