diff options
-rw-r--r-- | packages/gtk-sharp.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/gtk-sharp.py b/packages/gtk-sharp.py index 0760dee..68b3206 100644 --- a/packages/gtk-sharp.py +++ b/packages/gtk-sharp.py @@ -4,7 +4,7 @@ class GtkSharp212ReleasePackage (Package): Package.__init__(self, 'gtk-sharp', sources=['git://github.com/mono/gtk-sharp.git'], git_branch='gtk-sharp-2-12-branch', - revision='dedce8ddbe37ae467f18ff785255e04fd9ccd782', + revision='76a9a14ad72b75b66fdda12fab1532c2e5318cc5', override_properties={ 'configure': './bootstrap-2.12 --prefix=%{package_prefix}', } |