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