Ubuntu
gnome-shell-extension-manager package

gnome-shell-extension-manager 0.3.0-0ubuntu2.1 source package in Ubuntu

Changelog

gnome-shell-extension-manager (0.3.0-0ubuntu2.1) jammy; urgency=medium

  * Don't use language packs for translations (LP: #1971025)

 -- Jeremy Bicha <email address hidden>  Tue, 10 May 2022 11:40:50 -0400

Upload details

Uploaded by:
Jeremy Bícha
Uploaded to:
Jammy
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Jammy updates universe misc

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-manager_0.3.0.orig.tar.gz 1.4 MiB a99211cf70759df13aa554a7c16613ce030f63c4419cdb7d0887b044718e9d47
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.debian.tar.xz 3.6 KiB 540353d746768fd146a0b2900d9b557f874f2d179ed4804ac6cb9927e33adcdb
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc 2.7 KiB 55e80960116fffe706d085ec613b39f748db523447261205339b2689bd37f028

Available diffs

View changes file

Binary packages built by this source

gnome-shell-extension-manager: Utility for managing GNOME Shell Extensions

 The GNOME shell extension manager is a tool for helping you manage your
 installed GNOME shell extensions.

gnome-shell-extension-manager-dbgsym: debug symbols for gnome-shell-extension-manager