gnome-shell-extension-manager 0.4.3-1build1 source package in Ubuntu
Changelog
gnome-shell-extension-manager (0.4.3-1build1) noble; urgency=medium * No-change rebuild against libglib2.0-0t64 -- Steve Langasek <email address hidden> Fri, 08 Mar 2024 04:43:35 +0000
Upload details
- Uploaded by:
- Steve Langasek
- Uploaded to:
- Noble
- Original maintainer:
- Ubuntu Developers
- 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.4.3.orig.tar.gz | 1.4 MiB | 0dff375888c68103dc1a48d0691c34e2bad9670d2d4050a1088f51c04342b956 |
| gnome-shell-extension-manager_0.4.3-1build1.debian.tar.xz | 2.6 KiB | fc798a220883b1fc65af733834cd7dfd60c848fc571146722ae5945fb5e22644 |
| gnome-shell-extension-manager_0.4.3-1build1.dsc | 2.5 KiB | 13c4a7711625f0bc52a04fcd5dbcbaad2c85916369074084c05d93d4ff70f128 |
Available diffs
- diff from 0.4.3-1 (in Debian) to 0.4.3-1build1 (606 bytes)
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
