gnome-shell-extension-manager 0.5.1-2 source package in Ubuntu
Changelog
gnome-shell-extension-manager (0.5.1-2) unstable; urgency=medium [ xiao sheng wen ] * Add patch to mark .desktop as only useful for GNOME (Closes: #1072993) [ Jeremy Bícha ] * Bump Standards Version to 4.7.0 -- Jeremy Bícha <email address hidden> Wed, 12 Jun 2024 08:04:21 -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-2.dsc | 2.3 KiB | 57d9e11d5a0279a3bda6ab3e89b2754e1e917e76c35ccdf0c2c890a854b095d4 |
| gnome-shell-extension-manager_0.5.1.orig.tar.gz | 2.1 MiB | b4cd95cbf45a3d046858fb44e78f3e3147a24279e77bfbbe8a422920f20a7b3b |
| gnome-shell-extension-manager_0.5.1-2.debian.tar.xz | 3.0 KiB | a79d6a2d8feaf6659b3222bc243f9ec8c313ba034b932a894e160a6a227b15d9 |
Available diffs
- diff from 0.5.1-1 to 0.5.1-2 (1019 bytes)
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
