mirrors/guru
1
0 Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-11-12 02:30:31 -05:00
Code Issues Packages Projects Releases Wiki Activity
11,818 Commits 1 Branch 0 Tags
c5ae55322df8a48f4743e50a3dbfc806387f25db
Commit Graph
2 Commits
Author SHA1 Message Date
Arthur Zamarin d9faaebbd0 sci-mathematics/lean-mathlib: remove empty longdescription 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
 2021-10-24 17:41:33 +03:00
Alessandro Barbieri ddb94e3f25 sci-mathematics/lean-mathlib: initial import 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-10-22 02:09:28 +02:00