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