commit: d9faaebbd0cbf547f9f496b312b1a6daa7bf8319
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Oct 24 14:41:33 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Sun Oct 24 14:41:33 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=d9faaebb
sci-mathematics/lean-mathlib: remove empty longdescription
Signed-off-by: Arthur Zamarin <arthurzam <AT> 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 3005583c8..cb8636fef 100644
--- a/sci-mathematics/lean-mathlib/metadata.xml
+++ b/sci-mathematics/lean-mathlib/metadata.xml
@@ -6,8 +6,6 @@
<email>[email protected]</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>
