Ubuntu

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

  1. Lunar (23.04)
  2. armhf
  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 armhf release universe gnome Optional 0.4.0-1
  • Published
  • Copied from ubuntu lunar-proposed armhf in Primary Archive for Ubuntu
  Deleted Ubuntu Lunar armhf 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 armhf release universe gnome Optional 0.4.0-0ubuntu1
  • Removal requested .
  • Superseded by armhf build of gnome-shell-extension-manager 0.4.0-1 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed armhf in Primary Archive for Ubuntu

Source package