diff options
| author | Marius Ungureanu <teromario@yahoo.com> | 2017-06-13 21:05:12 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-13 21:05:12 +0300 |
| commit | 58bf3183031479747adcceceb622aea3aa076e38 (patch) | |
| tree | 2339089eb505fb4b07803a09eff9598fd82439af | |
| parent | fe467c0593d199e5d4d29be9c69c5d487449dd8b (diff) | |
Update gtk-sharp.py
| -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 f251386..77219d9 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='dedc1d154fd6598d0dc497f329bd6e4eb8435336', + revision='62d3e790e9776e92e9a8e5ce9cac114ffd0c3734', override_properties={ 'configure': './bootstrap-2.12 --prefix=%{package_prefix}', } |