gnome-shell-extension-manager 0.5.1-1 source package in Ubuntu
Changelog
gnome-shell-extension-manager (0.5.1-1) unstable; urgency=medium * New upstream release -- Jeremy BĂcha <email address hidden> Wed, 01 May 2024 16:43:48 -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 | Published | Component | Section | |
---|---|---|---|---|
Oracular | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gnome-shell-extension-manager_0.5.1-1.dsc | 2.3 KiB | 636f97f9471d06e9212951d0e735c8d110d1662a629cc2870fdae09d56f9fb16 |
gnome-shell-extension-manager_0.5.1.orig.tar.gz | 2.1 MiB | b4cd95cbf45a3d046858fb44e78f3e3147a24279e77bfbbe8a422920f20a7b3b |
gnome-shell-extension-manager_0.5.1-1.debian.tar.xz | 2.6 KiB | 65d40079417b4b4b5d9589bc994be3eb473beb5c80ffe7865df088b6afc5419f |
Available diffs
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