mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-11 08:03:16 -04:00
Code Issues Packages Projects Releases Wiki Activity
8,058 Commits 1 Branch 0 Tags
3d8166448caf3547ad17e7892cb158d0f28962d1
Commit Graph

3 Commits

Author SHA1 Message Date
Andrew Ammerlaan
6c79f5e387 sci-mathematics/lean-mathlib: dev-lang/lean --> sci-mathematics/lean 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
 2021-12-01 20:50:06 +01:00
Alessandro Barbieri
88ff538278 sci-mathematics/lean-mathlib: fix doc install 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-10-23 07:11:22 +02: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