Anna (cybertailor) Vyalkova
|
1e95f22062
|
*/*: update metadata schema uri
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
|
2023-03-04 18:56:32 +05:00 |
|
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 |
|
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 |
|
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
|
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 |
|