gnome-shell-extension-pixelsaver binary package in Ubuntu Focal armhf

 Pixel Saver is designed to save pixels by fusing activity bar and title bar
 in GNOME shell.
 .
 It is inspired by previous tools such as Maximus.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-01-06 18:43:18 UTC Published Ubuntu Focal armhf release universe gnome Optional 1.20-1
  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Focal armhf proposed universe gnome Optional 1.20-1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  2020-01-06 18:43:28 UTC Superseded Ubuntu Focal armhf release universe gnome Optional 1.10+git20180804-d97c6e4-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of gnome-shell-extension-pixelsaver 1.20-1 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu