Publishing details
Changelog
gnome-shell (42.9-0ubuntu2.1pop0~1715266817~22.04~2c675c6~dev) jammy; urgency=medium
* Auto Build
* Pop!_OS patches
-- Pop OS (ISO Signing Key) <email address hidden> Thu, 9 May 2024 09:00:17 -0600
Builds
Built packages
-
gnome-shell
graphical shell for the GNOME desktop
-
gnome-shell-common
common files for the GNOME graphical shell
-
gnome-shell-extension-prefs
tool to enable / disable GNOME Shell extensions
Package files