gnome-shell-extensions 3.32.0-1 source package in Ubuntu


gnome-shell-extensions (3.32.0-1) experimental; urgency=medium

  * New upstream release

 -- Iain Lane <email address hidden>  Tue, 12 Mar 2019 16:34:14 +0000

Upload details

Uploaded by:
Debian GNOME Maintainers on 2019-03-12
Uploaded to:
Original maintainer:
Debian GNOME Maintainers
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Eoan release on 2019-04-18 universe gnome
Disco release on 2019-03-13 universe gnome


Disco: [FULLYBUILT] amd64


File Size SHA-256 Checksum
gnome-shell-extensions_3.32.0-1.dsc 2.1 KiB dc44339bd83e5a38af7e53456f45c83c60f32863f1c159597b6eb955f29d12ec
gnome-shell-extensions_3.32.0.orig.tar.xz 193.7 KiB 85de915dda1ec20e071b8bd996cb800a4e381f1aea37ea4939446f73e18ef973
gnome-shell-extensions_3.32.0-1.debian.tar.xz 7.3 KiB db9ddd82b09ff0b1529f227d87e09ee78e83929b7f6a60c302039cceb65eab87

No changes file available.

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.