Mario Haustein c7983ed3a5
dev-embedded/minipro: drop 0.7.2
Signed-off-by: Mario Haustein <mario.haustein@hrz.tu-chemnitz.de>
Part-of: https://github.com/gentoo/gentoo/pull/43384
Closes: https://github.com/gentoo/gentoo/pull/43384
Signed-off-by: Sam James <sam@gentoo.org>
2025-09-06 15:28:40 +01:00
..