gentoo/dev-embedded
Mario Haustein 23131409b3
dev-embedded/minipro: add 0.7.3
Signed-off-by: Mario Haustein <mario.haustein@hrz.tu-chemnitz.de>
Part-of: https://github.com/gentoo/gentoo/pull/42026
Closes: https://github.com/gentoo/gentoo/pull/42026
Signed-off-by: Sam James <sam@gentoo.org>
2025-05-11 14:37:37 +01:00
..
2025-05-05 16:17:13 +01:00
2025-05-11 14:37:37 +01:00