Ubuntu

gnome-shell-extension-manager binary package in Ubuntu Lunar arm64

  1. Lunar (23.04)
  2. arm64
  3. gnome-shell-extension-manager

 The GNOME shell extension manager is a tool for helping you manage your
 installed GNOME shell extensions.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2023-02-11 02:19:02 UTC Published Ubuntu Lunar arm64 release universe gnome Optional 0.4.0-1
  • Published
  • Copied from ubuntu lunar-proposed arm64 in Primary Archive for Ubuntu
  Deleted Ubuntu Lunar arm64 proposed universe gnome Optional 0.4.0-1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2023-02-11 02:19:06 UTC Superseded Ubuntu Lunar arm64 release universe gnome Optional 0.4.0-0ubuntu1
  • Removal requested .
  • Superseded by arm64 build of gnome-shell-extension-manager 0.4.0-1 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed arm64 in Primary Archive for Ubuntu

Source package