Alessandro Barbieri
|
749e26c7ec
|
sci-mathematics/lean-mathlib: drop 0.1_p20211021, 0.1_p20220318
Closes: https://bugs.gentoo.org/835922
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-03-26 01:09:36 +01:00 |
|
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 |
|
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 |
|
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 |
|