diff options
Diffstat (limited to 'x11-toolkits/gnome-desktop-sharp20/files/patch-configure')
| -rw-r--r-- | x11-toolkits/gnome-desktop-sharp20/files/patch-configure | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/x11-toolkits/gnome-desktop-sharp20/files/patch-configure b/x11-toolkits/gnome-desktop-sharp20/files/patch-configure new file mode 100644 index 000000000000..e62d40648107 --- /dev/null +++ b/x11-toolkits/gnome-desktop-sharp20/files/patch-configure @@ -0,0 +1,20 @@ +--- configure.orig 2008-09-08 11:37:34.000000000 -0400 ++++ configure 2008-11-01 20:55:53.000000000 -0300 +@@ -22168,7 +22168,7 @@ + + + ## Versions of dependencies +-GNOME_REQUIRED_VERSION=2.23.0 ++GNOME_REQUIRED_VERSION=2.22.0 + GNOME_SHARP_REQUIRED_VERSION=2.24.0 + + +@@ -22537,7 +22537,7 @@ + + + +-GTKHTML_REQUIRED_VERSION=3.23.5 ++GTKHTML_REQUIRED_VERSION=3.18.3 + + + pkg_failed=no |
