gnome-shell-extension-manager 0.4.0-0ubuntu1 source package in Ubuntu
Changelog
gnome-shell-extension-manager (0.4.0-0ubuntu1) kinetic; urgency=medium * New upstream release * Drop all patches: applied in new release * Add patch to disable backtrace feature since the library isn't in Debian -- Jeremy Bicha <email address hidden> Thu, 06 Oct 2022 15:11:58 -0400
Upload details
- Uploaded by:
- Jeremy Bícha
- Uploaded to:
- Kinetic
- 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.0.orig.tar.gz | 1.4 MiB | 34dd0e8ebbe985ac6eab52695530074c187403270ff627bdd4699cc5733c5c53 |
| gnome-shell-extension-manager_0.4.0-0ubuntu1.debian.tar.xz | 4.5 KiB | 8fe90df8732ca609838abf9af2be82c849cf63338b3466660fc95ef515c8df43 |
| gnome-shell-extension-manager_0.4.0-0ubuntu1.dsc | 2.7 KiB | e27ca491d45b79415356f379cdd12a2e8b221554ebf0703f04fd7f7ef183ad50 |
Available diffs
- diff from 0.3.0-0ubuntu3 to 0.4.0-0ubuntu1 (90.8 KiB)
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
