gnome-shell-extension-manager 0.3.0-0ubuntu2.1 source package in Ubuntu
Changelog
gnome-shell-extension-manager (0.3.0-0ubuntu2.1) jammy; urgency=medium * Don't use language packs for translations (LP: #1971025) -- Jeremy Bicha <email address hidden> Tue, 10 May 2022 11:40:50 -0400
Upload details
- Uploaded by:
- Jeremy BĂcha
- Uploaded to:
- Jammy
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Jammy | updates | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gnome-shell-extension-manager_0.3.0.orig.tar.gz | 1.4 MiB | a99211cf70759df13aa554a7c16613ce030f63c4419cdb7d0887b044718e9d47 |
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.debian.tar.xz | 3.6 KiB | 540353d746768fd146a0b2900d9b557f874f2d179ed4804ac6cb9927e33adcdb |
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc | 2.7 KiB | 55e80960116fffe706d085ec613b39f748db523447261205339b2689bd37f028 |
Available diffs
- diff from 0.3.0-0ubuntu2 to 0.3.0-0ubuntu2.1 (575 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