gnome-shell-extension-manager 0.4.0-1 source package in Ubuntu
Changelog
gnome-shell-extension-manager (0.4.0-1) unstable; urgency=medium
[ Jeremy Bicha ]
* New upstream release
* Depend on gjs (Closes: #1025800)
* Depend on unzip (Closes: #1025803)
* Add debian/upstream/metadata
* Drop all patches: applied in new release
* Add patch to disable backtrace features since the library
isn't in Debian yet
* Update standards version to 4.6.2, no changes needed
[ Heather Ellsworth ]
* Add libtext-engine-dev build dep
* Add desktlop-file-utils build-dep
* Bump meson build dep version (>= 0.59.0)
-- Jeremy Bicha <email address hidden> Tue, 24 Jan 2023 12:48:36 -0500
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 | |
|---|---|---|---|---|
| Lunar | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| gnome-shell-extension-manager_0.4.0-1.dsc | 2.4 KiB | 7f04eb808d5ded18662eaac895ede128fb95af30233198d438ea4427bbdb5f5d |
| gnome-shell-extension-manager_0.4.0.orig.tar.gz | 1.4 MiB | 34dd0e8ebbe985ac6eab52695530074c187403270ff627bdd4699cc5733c5c53 |
| gnome-shell-extension-manager_0.4.0-1.debian.tar.xz | 4.4 KiB | 359ac027373da118d1e5015cedf0a4f6bfa5fa739b73fbb4433d4df3090382bb |
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
