From d9faaebbd0cbf547f9f496b312b1a6daa7bf8319 Mon Sep 17 00:00:00 2001
From: Arthur Zamarin <arthurzam@gentoo.org>
Date: Sun, 24 Oct 2021 17:41:33 +0300
Subject: [PATCH] sci-mathematics/lean-mathlib: remove empty longdescription

Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
---
 sci-mathematics/lean-mathlib/metadata.xml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/sci-mathematics/lean-mathlib/metadata.xml b/sci-mathematics/lean-mathlib/metadata.xml
index 3005583c85..cb8636fef3 100644
--- a/sci-mathematics/lean-mathlib/metadata.xml
+++ b/sci-mathematics/lean-mathlib/metadata.xml
@@ -6,8 +6,6 @@
     <email>lssndrbarbieri@gmail.com</email>
     <name>Alessandro Barbieri</name>
   </maintainer>
-  <longdescription lang="en">
-  </longdescription>
   <upstream>
     <bugs-to>https://github.com/leanprover-community/mathlib/issues</bugs-to>
     <remote-id type="github">leanprover-community/mathlib</remote-id>