8|dev-embedded/minipro|dev-embedded/minipro-0.7.3|0.7.4|mario.haustein@hrz.tu-chemnitz.de:proxy-maint@gentoo.org