Publishing details
Changelog
gnome-shell (42.9-0ubuntu2) jammy; urgency=medium
* New upstream release (LP: #2023913)
* debian/control.in: Bump minimum mutter to 42.9
-- Jeremy Bícha <email address hidden> Wed, 14 Jun 2023 15:35:33 -0400
Builds
Built packages
-
gnome-shell
graphical shell for the GNOME desktop
-
gnome-shell-common
common files for the GNOME graphical shell
-
gnome-shell-dbgsym
debug symbols for gnome-shell
-
gnome-shell-extension-prefs
tool to enable / disable GNOME Shell extensions
Package files