Publishing details
Changelog
gnome-shell-extension-manager (0.3.0-0ubuntu1) jammy; urgency=medium
* New upstream release (LP: #1969389)
* Remove patch that is no longer needed
* Add patch: Do-not-update-the-icon-cache.patch
* Add patch: pr180.patch
* Add libtex-engine-dev build dep
* Add missing build-dep
* Bump meson build dep version (>= 0.59.0)
-- Heather Ellsworth <email address hidden> Tue, 19 Apr 2022 16:32:26 -0600
Builds
Built packages
-
gnome-shell-extension-manager
Utility for managing GNOME Shell Extensions
-
gnome-shell-extension-manager-dbgsym
debug symbols for gnome-shell-extension-manager
Package files