Ubuntu
gnome-shell-extensions package

gnome-shell-extensions 3.10.1-0ubuntu1 source package in Ubuntu

Changelog

gnome-shell-extensions (3.10.1-0ubuntu1) trusty; urgency=medium

  * New upstream release (LP: #1269916)
  * debian/rules: remove alternative-status-menu and xrandr extensions,
    these have been removed upstream
  * debian/gnome-shell-extensions.gsettings-override: removed, no longer useful
  * debian/watch: watch for stable versions
 -- Tim Lunn <email address hidden>   Sun, 29 Dec 2013 14:42:51 +1100

Upload details

Uploaded by:
Tim Lunn
Sponsored by:
Luke Yelavich
Uploaded to:
Trusty
Original maintainer:
Ubuntu Developers
Architectures:
all
Section:
gnome
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Trusty: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
gnome-shell-extensions_3.10.1.orig.tar.xz 195.4 KiB 9baa9ddaf4e14cab6d4d7944d8dc009378b25f995acfd0fd72843f599cb5ae43
gnome-shell-extensions_3.10.1-0ubuntu1.debian.tar.gz 5.4 KiB 1344d5a302213289c6f86ce1c3e73fdeb38a0c975e430d8e64fc61a66b5f5082
gnome-shell-extensions_3.10.1-0ubuntu1.dsc 1.9 KiB 051618fe3ffe9c4f28a45bb2b1613d0a8bdd01a53ff526d488864f2fc150eda6

Available diffs

View changes file

Binary packages built by this source

gnome-shell-extensions: Extensions to extend functionality of GNOME Shell

 The GNOME Shell redefines user interactions with the GNOME desktop. In
 particular, it offers new paradigms for launching applications,
 accessing documents, and organizing open windows in GNOME. Later, it
 will introduce a new applets eco-system and offer new solutions for
 other desktop features, such as notifications and contacts management.
 The GNOME Shell is intended to replace functions handled by the GNOME
 Panel and by the window manager in previous versions of GNOME. The GNOME
 Shell has rich visual effects enabled by new graphical technologies.
 .
 GNOME Shell is extensible using extensions. This package contains
 official GNOME Shell extensions.