Format: 1.8 Date: Fri, 08 Mar 2013 22:36:49 -0500 Source: gnome-shell-extensions Binary: gnome-shell-extensions Architecture: source Version: 3.7.91-0ubuntu1~raring0 Distribution: raring Urgency: medium Maintainer: Ubuntu Developers Changed-By: Jeremy Bicha Description: gnome-shell-extensions - Extensions to extend functionality of GNOME Shell Changes: gnome-shell-extensions (3.7.91-0ubuntu1~raring0) raring; urgency=medium . * New upstream release. * debian/patches/git-fix-menu.patch: - Git patch to fix opening the menu . gnome-shell-extensions (3.7.90-0ubuntu1~raring1) raring; urgency=medium . * New upstream release. - Provides the new "GNOME Classic" mode for GNOME Shell * debian/control.in: - Breaks/Replaces gnome-session versions which included login sessions named "gnome-classic" * debian/rules: - Enable all extensions except example and xrandr Checksums-Sha1: 00fa940bb4ee7d57a8944cb7c1184f7a9475b96c 2538 gnome-shell-extensions_3.7.91-0ubuntu1~raring0.dsc bc7598a61341e18471a3556281387a48205e9024 172348 gnome-shell-extensions_3.7.91.orig.tar.xz 44e7643775e9c98dcf93c8932454a503631d4ee4 4570 gnome-shell-extensions_3.7.91-0ubuntu1~raring0.debian.tar.gz Checksums-Sha256: 15b4e501200f070744870d152d883861b6ee2de6f23ad673ed7456c29699e2f2 2538 gnome-shell-extensions_3.7.91-0ubuntu1~raring0.dsc a4ecabd3c8e0559e232372b7b16b567cf0e66183fccd4cfd5ba51d4400c664fc 172348 gnome-shell-extensions_3.7.91.orig.tar.xz 161e82bf10204b1e5430cfb391cc4bb1fc0a13bbc71883307001264d28f34ea2 4570 gnome-shell-extensions_3.7.91-0ubuntu1~raring0.debian.tar.gz Files: 14cf2cd5a92877fc477e2a0a0aac3f21 2538 gnome optional gnome-shell-extensions_3.7.91-0ubuntu1~raring0.dsc a3a14f2e37d2526aa48865fc56dae8db 172348 gnome optional gnome-shell-extensions_3.7.91.orig.tar.xz 4d629207bf0881594b123e693054f4a7 4570 gnome optional gnome-shell-extensions_3.7.91-0ubuntu1~raring0.debian.tar.gz Original-Maintainer: Debian GNOME Maintainers