gnome-shell-extension-manager 0.5.0-1 source package in Ubuntu
Changelog
gnome-shell-extension-manager (0.5.0-1) unstable; urgency=medium
* New upstream release
- Fixes implicit function declarations (Closes: #1066393)
* Drop debian/docs: NEWS.md is no longer provided
-- Jeremy Bícha <email address hidden> Fri, 22 Mar 2024 14:17:49 -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 |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| gnome-shell-extension-manager_0.5.0-1.dsc | 2.3 KiB | 7e87ae031a6ebc0b8c56eb56aea8a3fa91731364631acbd8f332de8add6116c8 |
| gnome-shell-extension-manager_0.5.0.orig.tar.gz | 2.1 MiB | d1d1a2540c2cc74d3e3bb46dd58bf18d4d46e600293a973cd6269cc2467415dc |
| gnome-shell-extension-manager_0.5.0-1.debian.tar.xz | 2.6 KiB | def3b19e9138a342d30f1a65ea3d4ed4d55c6f3d1161328c159833a246e0c8d2 |
Available diffs
- diff from 0.4.3-1 to 0.5.0-1 (446.6 KiB)
- diff from 0.4.3-1ubuntu1 (in Ubuntu) to 0.5.0-1 (447.1 KiB)
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
