diff options
-rwxr-xr-x | extras/BooBinding/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/BooBinding/configure b/extras/BooBinding/configure index b886dd3d58..636647ecd1 100755 --- a/extras/BooBinding/configure +++ b/extras/BooBinding/configure @@ -4,7 +4,7 @@ PACKAGE=monodevelop-boo prefix=/usr/local config=DEBUG configurations=" RELEASE DEBUG" -required_packages="gtk-sharp-2.0;2.12.8 monodevelop;2.2 mono-addins;0.3 glib-sharp-2.0;2.12.8 monodevelop-core-addins;2.2 boo;0.7.9.2659 gconf-sharp-2.0;2.12.8 gtksourceview-sharp-2.0;0.11" +required_packages="gtk-sharp-2.0;2.12.8 monodevelop;2.1.2 mono-addins;0.3 glib-sharp-2.0;2.12.8 monodevelop-core-addins;2.1.2 boo;0.7.9.2659 gconf-sharp-2.0;2.12.8 gtksourceview-sharp-2.0;0.11" usage () { |