diff options
author | Marius Ungureanu <teromario@yahoo.com> | 2018-01-19 15:55:56 +0300 |
---|---|---|
committer | Alexander Köplinger <alex.koeplinger@outlook.com> | 2018-01-19 15:55:56 +0300 |
commit | f643982aef24bec29f279d887a95c3899c9e751e (patch) | |
tree | 5ce7e40c6d1a1e467b98a4ad55f888c729ce4224 | |
parent | e22032cad61d19f0366d02ebffb87ad9d195ce4e (diff) |
Update gtk-sharp.py (#57)
-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 1d52bf0..7d01fc7 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='ae7bbb340c0e4baad27264727f6ca80ebbc882c0', + revision='c59b84b045bf8f8dbe1bd8f117471ce5e07fe26a', override_properties={ 'configure': './bootstrap-2.12 --prefix=%{package_prefix}', } |