Publishing details

• Published on 2022-03-11

Changelog

gnome-shell-extension-manager (0.2.3-1~ppa2) jammy; urgency=medium

  * Initial debian packaging

 -- Heather Ellsworth <heather.ellsworth@canonical>  Mon, 28 Feb 2022 14:13:23 +0100

Builds

• amd64

Built packages

• gnome-shell-extension-manager A utility for managing GNOME Shell Extensions

Package files

• gnome-shell-extension-manager_0.2.3-1~ppa2.debian.tar.xz (2.1 KiB)
• gnome-shell-extension-manager_0.2.3-1~ppa2.dsc (1.7 KiB)
• gnome-shell-extension-manager_0.2.3-1~ppa2_amd64.deb (56.1 KiB)
• gnome-shell-extension-manager_0.2.3.orig.tar.gz (1.3 MiB)