gnome-shell-extensions/debian/patches/fix_dock_gnome-shell_version.diff

--- a/extensions/dock/metadata.json.in
+++ b/extensions/dock/metadata.json.in
@@ -3,7 +3,7 @@
 "name": "Dock",
 "description": "A dock for the GNOME Shell -- displays favorite and running applications",
 "original-author": "tclaesson@gmail.com",
-"shell-version": [ "@shell_current@" ],
+"shell-version": [ "3.2" ],
 "localedir": "@LOCALEDIR@",
 "url": "@url@"
 }