Ubuntu
gnome-shell-extension-manager package

gnome-shell-extension-manager 0.3.0-0ubuntu1 source package in Ubuntu

Changelog

gnome-shell-extension-manager (0.3.0-0ubuntu1) jammy; urgency=medium

  * New upstream release (LP: #1969389)
  * Remove patch that is no longer needed
  * Add patch: Do-not-update-the-icon-cache.patch
  * Add patch: pr180.patch
  * Add libtex-engine-dev build dep
  * Add missing build-dep
  * Bump meson build dep version (>= 0.59.0)

 -- Heather Ellsworth <email address hidden>  Tue, 19 Apr 2022 16:32:26 -0600

Upload details

Uploaded by:
Heather Ellsworth
Sponsored 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 release 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-0ubuntu1.debian.tar.xz 3.2 KiB ca9e09422ea964a3543a043381deaf4b6072c24b50abbb61c055097af77f7aca
gnome-shell-extension-manager_0.3.0-0ubuntu1.dsc 2.7 KiB 2c0c0c88a4ee1f2f3833a70e2ca3697563e4b69ebb8bc845769cd76f42977506

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