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
Files
54e7401db1da77868a5b9cb0a008577d16f329c1
guru/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20220324.ebuild
Alessandro Barbieri 4bf925478b sci-mathematics/lean-mathlib: add 0.1_p20220324 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-03-26 01:09:35 +01:00

813 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink