Files
guru/dev-lang
Maciej Barć 70324d1a2e dev-lang: move idris2 to ::gentoo
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2021-11-27 21:20:18 +01:00
..
2021-09-27 09:08:58 +02:00
2021-09-08 11:37:24 +09:00
2021-08-16 13:24:58 +02:00
2021-06-18 08:27:16 +01:00
2021-10-09 22:30:09 +13:00