1 files changed, 0 insertions, 20 deletions
diff --git a/dev-lang/lean/metadata.xml b/dev-lang/lean/metadata.xml
deleted file mode 100644
index 9e03d53ad..000000000
--- a/dev-lang/lean/metadata.xml
+++ /dev/null
@@ -1,20 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-
-<pkgmetadata>
-  <maintainer type="person">
-    <email>xgqt@riseup.net</email>
-    <name>Maciej Barć</name>
-  </maintainer>
-  <longdescription lang="en">
-    The Lean theorem prover is a proof assistant developed principally
-    by Leonardo de Moura at Microsoft Research.
-  </longdescription>
-  <upstream>
-    <bugs-to>https://github.com/leanprover-community/lean/issues</bugs-to>
-    <remote-id type="github">leanprover-community/lean</remote-id>
-  </upstream>
-  <use>
-    <flag name="json"> Enable JSON support</flag>
-  </use>
-</pkgmetadata>