mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-19 12:03:02 -04:00
Code Issues Packages Projects Releases Wiki Activity

sci-mathematics/lean-mathlib: remove empty longdescription

Browse Source 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
This commit is contained in:
Arthur Zamarin
2021-10-24 17:41:33 +03:00
parent 3aac927825
commit d9faaebbd0
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/lean-mathlib/metadata.xml
View File

@@ -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>