Ubuntu
gnome-shell-extension-manager package

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

Changelog

gnome-shell-extension-manager (0.3.0-0ubuntu3) kinetic; urgency=medium

  * No-change rebuild to keep newer version in kinetic than in jammy

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

Upload details

Uploaded by:
Jeremy Bícha
Uploaded to:
Kinetic
Original maintainer:
Ubuntu Developers
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.3.0.orig.tar.gz 1.4 MiB a99211cf70759df13aa554a7c16613ce030f63c4419cdb7d0887b044718e9d47
gnome-shell-extension-manager_0.3.0-0ubuntu3.debian.tar.xz 3.6 KiB 29a406ee26625e7c42156ceb512c4db29dfffb35a0d608b217cf98c8e5bbe003
gnome-shell-extension-manager_0.3.0-0ubuntu3.dsc 2.7 KiB 62b5f2d44714325b4f0a260c10e49ca9980d3022865725a651d72848a8477017

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