diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2012-09-15 00:07:10 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2012-09-15 00:07:10 +0400 |
commit | 285ccbb5cce39f4de0f19d66ffe4f0ca83113890 (patch) | |
tree | 26fb33d9761f0d7c8727364d5f7d4ca99439cc39 /extras/BooBinding | |
parent | fdbbf0c85e630b83179c1a8eff9f37d5e34c19ba (diff) |
Updated package version to 3.0.4.7
Diffstat (limited to 'extras/BooBinding')
-rwxr-xr-x | extras/BooBinding/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/BooBinding/configure b/extras/BooBinding/configure index 37c7184fcd..0fd3748500 100755 --- a/extras/BooBinding/configure +++ b/extras/BooBinding/configure @@ -1,10 +1,10 @@ #!/bin/bash -VERSION=3.0.4.6 +VERSION=3.0.4.7 PACKAGE=monodevelop-boo prefix=/usr/local config=DEBUG configurations=" RELEASE DEBUG" -common_packages="gtk-sharp-2.0;2.12.8 monodevelop;3.0.4.6 mono-addins;0.3 glib-sharp-2.0;2.12.8 monodevelop-core-addins;2.7 boo;0.7.9.2659" +common_packages="gtk-sharp-2.0;2.12.8 monodevelop;3.0.4.7 mono-addins;0.3 glib-sharp-2.0;2.12.8 monodevelop-core-addins;2.7 boo;0.7.9.2659" usage () |