Ubuntu
gnome-shell-extension-manager package

gnome-shell-extension-manager 0.2.3-2 source package in Ubuntu

Changelog

gnome-shell-extension-manager (0.2.3-2) unstable; urgency=medium

  * debian/control.in: Fix Homepage link

 -- Jeremy Bicha <email address hidden>  Wed, 30 Mar 2022 15:43:29 -0400

Upload details

Uploaded by:
Debian GNOME Maintainers
Uploaded to:
Sid
Original maintainer:
Debian GNOME Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-manager_0.2.3-2.dsc 2.3 KiB 08f2fa7cdbd282257c1b826a4703bcfdd8c8603bb2b5c0c4d5efb0f4ce8cf64d
gnome-shell-extension-manager_0.2.3.orig.tar.gz 1.3 MiB 5c555359cbf99ccce3fad5221a0567c5b01ffe4fc15d32087b71bc4b59dc70a3
gnome-shell-extension-manager_0.2.3-2.debian.tar.xz 2.6 KiB f654f8f644b1c7dc4920d43f10d7618a0cd746dac88a3b5eeec7b345e8352dea

No changes file available.

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