Come instalare lib32mpx0-dbg su Debian 9 (Stretch)