3 Commits

Author	SHA1	Message	Date
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
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	ddb94e3f25	sci-mathematics/lean-mathlib: initial import ... Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>	2021-10-22 02:09:28 +02:00