Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDuncan Mak <duncan.mak@xamarin.com>2012-05-09 02:43:04 +0400
committerDuncan Mak <duncan.mak@xamarin.com>2012-05-09 02:43:04 +0400
commit4b4022e543f3e4f348014c75bb9324c734b50c33 (patch)
tree5c57aa68d0e8fa9c20bcd1a2bd32a8b6eac338ab /extras/BooBinding
parent3fe00be9565c638836145d7db34e26ab53e1f2c6 (diff)
Updated package version to 3.1.0
Diffstat (limited to 'extras/BooBinding')
-rwxr-xr-xextras/BooBinding/configure4
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/BooBinding/configure b/extras/BooBinding/configure
index b68688c3d9..2956df7e56 100755
--- a/extras/BooBinding/configure
+++ b/extras/BooBinding/configure
@@ -1,10 +1,10 @@
#!/bin/bash
-VERSION=
+VERSION=3.1.0
PACKAGE=monodevelop-boo
prefix=/usr/local
config=DEBUG
configurations=" RELEASE DEBUG"
-common_packages="gtk-sharp-2.0;2.12.8 monodevelop; 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.1.0 mono-addins;0.3 glib-sharp-2.0;2.12.8 monodevelop-core-addins;2.7 boo;0.7.9.2659"
usage ()