Files
gentoo/dev-lang/mercury-extras
Volkmar W. Pogatzki 163b45aca4 dev-lang/mercury-extras: drop 20.06, 20.06.1, 22.01
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
2024-06-08 09:56:46 +02:00
..