/extra/kdegames-picmi/

• ../
• PKGBUILD
• kdegames-picmi.install