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

sci-mathematics/lean-mathlib: initial import

Browse Source 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2021-10-22 02:09:12 +02:00
parent 1a977dcf40
commit ddb94e3f25
3 changed files with 59 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
sci-mathematics/lean-mathlib/metadata.xml Normal file
View File

@@ -0,0 +1,15 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="person">
<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>
</upstream>
</pkgmetadata>