1 files changed, 0 insertions, 37 deletions
diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml
deleted file mode 100644
index 3c7fcb2824b8..000000000000
--- a/sci-mathematics/agda/metadata.xml
+++ /dev/null
@@ -1,37 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<maintainer type="project">
-		<email>haskell@gentoo.org</email>
-		<name>Gentoo Haskell</name>
-	</maintainer>
-	<use>
-		<flag name="cpphs">Use cpphs instead of cpp.</flag>
-		<flag name="debug">Enable debugging features that may slow Agda down.</flag>
-		<flag name="enable-cluster-counting">Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.)</flag>
-		<flag name="stdlib">Install the standard library.</flag>
-	</use>
-	<longdescription>
-		Agda is a dependently typed functional programming language: It has
-		inductive families, which are similar to Haskell's GADTs, but they
-		can be indexed by values and not just types. It also has
-		parameterised modules, mixfix operators, Unicode characters, and an
-		interactive Emacs interface (the type checker can assist in the
-		development of your code).
-		
-		Agda is also a proof assistant: It is an interactive system for
-		writing and checking proofs. Agda is based on intuitionistic type
-		theory, a foundational system for constructive mathematics developed
-		by the Swedish logician Per Martin-L&amp;#xf6;f. It has many
-		similarities with other proof assistants based on dependent types,
-		such as Coq, Epigram and NuPRL.
-		
-		This package includes both a command-line program (agda) and an
-		Emacs mode. If you want to use the Emacs mode you can set it up by
-		running @agda-mode setup@ (see the README).
-		
-		Note that the Agda package does not follow the package versioning
-		policy, because it is not intended to be used by third-party
-		packages.
-	</longdescription>
-</pkgmetadata>