This website requires JavaScript.
Explore
Help
Sign In
mirrors
/
guru
Watch
1
Star
0
Fork
0
You've already forked guru
mirror of
https://github.com/gentoo-mirror/guru.git
synced
2026-07-23 14:03:33 -04:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
f0ead206b23902ff7a4fc349e5f2f12703fef909
guru
/
sci-mathematics
/
lean-mathlib
History
Alessandro Barbieri
4c20f182f8
sci-mathematics/lean-mathlib: add 0.1_p20220318
...
Signed-off-by: Alessandro Barbieri <
lssndrbarbieri@gmail.com
>
2022-03-19 03:02:07 +01:00
..
lean-mathlib-0.1_p20211021.ebuild
sci-mathematics/lean-mathlib: dev-lang/lean --> sci-mathematics/lean
2021-12-01 20:50:06 +01:00
lean-mathlib-0.1_p20220318.ebuild
sci-mathematics/lean-mathlib: add 0.1_p20220318
2022-03-19 03:02:07 +01:00
Manifest
sci-mathematics/lean-mathlib: add 0.1_p20220318
2022-03-19 03:02:07 +01:00
metadata.xml
sci-mathematics/lean-mathlib: remove empty longdescription
2021-10-24 17:41:33 +03:00
