diff options
Diffstat (limited to 'dev-haskell/djinn-ghc/metadata.xml')
| -rw-r--r-- | dev-haskell/djinn-ghc/metadata.xml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/dev-haskell/djinn-ghc/metadata.xml b/dev-haskell/djinn-ghc/metadata.xml index 927e4b37372f..b7878815d80d 100644 --- a/dev-haskell/djinn-ghc/metadata.xml +++ b/dev-haskell/djinn-ghc/metadata.xml @@ -5,9 +5,4 @@ <email>haskell@gentoo.org</email> <name>Gentoo Haskell</name> </maintainer> - <longdescription> - Djinn uses an theorem prover for intuitionistic propositional logic - to generate a Haskell expression when given a type. - This is the bridge from djinn-lib to GHC API. - </longdescription> </pkgmetadata> |