/extra/kdeedu-marble/

• ../
• PKGBUILD
• gpsd-2.96.patch
• kdeedu-marble.install