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

..

lean-mathlib-0.1_p20220324.ebuild

sci-mathematics/lean-mathlib: add 0.1_p20220324

2022-03-26 01:09:35 +01:00

Manifest

sci-mathematics/lean-mathlib: drop 0.1_p20211021, 0.1_p20220318

2022-03-26 01:09:36 +01:00

metadata.xml

*/*: update metadata schema uri

2023-03-04 18:56:32 +05:00