/extra/monodevelop/

• ../
• PKGBUILD
• monodevelop-core-addins.pc.in.patch
• monodevelop.install
• monodevelop_gnome3.patch