Publishing details

Removed from disk on 2024-05-10.
Removal requested on 2024-05-10.
Superseded on 2024-05-09 by gnome-shell - 42.9-0ubuntu2.1pop0~1715266817~22.04~2c675c6~dev
Published on 2023-02-25

Changelog

gnome-shell (42.5-0ubuntu1pop1~1675984688~22.04~f574f54~dev) jammy; urgency=medium

  * Auto Build

  * Fix package version

 -- Pop OS (ISO Signing Key) <email address hidden>  Thu, 9 Feb 2023 16:18:08 -0700

Available diffs

diff from 42.0-2ubuntu1 (in Ubuntu) to 42.5-0ubuntu1pop1~1675984688~22.04~f574f54~dev (930.3 KiB)

Builds

amd64

Package files

gnome-shell-common_42.5-0ubuntu1pop1~1675984688~22.04~f574f54~dev_all.deb (934.4 KiB)
gnome-shell-extension-prefs_42.5-0ubuntu1pop1~1675984688~22.04~f574f54~dev_amd64.deb (63.1 KiB)
gnome-shell_42.5-0ubuntu1pop1~1675984688~22.04~f574f54~dev.dsc (3.9 KiB)
gnome-shell_42.5-0ubuntu1pop1~1675984688~22.04~f574f54~dev.tar.xz (2.0 MiB)
gnome-shell_42.5-0ubuntu1pop1~1675984688~22.04~f574f54~dev_amd64.deb (906.4 KiB)