gnome-shell-extension-manager 0.4.2-1 source package in Ubuntu
Changelog
gnome-shell-extension-manager (0.4.2-1) unstable; urgency=medium * New upstream release * debian/control.in: Drop unnecessary sysprof build dependency * debian/docs: README → README.md -- Jeremy Bícha <email address hidden> Wed, 30 Aug 2023 07:30:35 -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 | |
---|---|---|---|---|
Mantic | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gnome-shell-extension-manager_0.4.2-1.dsc | 2.3 KiB | a0e73abddfaecc36e1ad84d3a2e311d5ba0c8603cb8b92e4cb6d22ab07306cd1 |
gnome-shell-extension-manager_0.4.2.orig.tar.gz | 1.4 MiB | c9443755aab4340b6bb31b9ab18d49fdf65d14391bce80e6262cc7ba27e5eab0 |
gnome-shell-extension-manager_0.4.2-1.debian.tar.xz | 4.5 KiB | c39d766908fe57abfa3afed63bbc7011a8c1df7b4eff30aeb1eb294487455e18 |
Available diffs
- diff from 0.4.0-1 to 0.4.2-1 (86.8 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