diff options
Diffstat (limited to 'dev-haskell/djinn-lib/metadata.xml')
-rw-r--r-- | dev-haskell/djinn-lib/metadata.xml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/dev-haskell/djinn-lib/metadata.xml b/dev-haskell/djinn-lib/metadata.xml deleted file mode 100644 index bfe47b825574..000000000000 --- a/dev-haskell/djinn-lib/metadata.xml +++ /dev/null @@ -1,13 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <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 a library extracted from Djinn sources. - </longdescription> -</pkgmetadata> |