/extra/monodevelop/

• ../
• PKGBUILD
• monodevelop.install
• monodevelop_gnome3.patch