Source: gnome-shell-extension-pixelsaver Section: gnome Priority: optional Maintainer: Debian GNOME Maintainers Uploaders: Jonathan Carter Build-Depends: debhelper-compat (=13) Standards-Version: 4.6.1 Rules-Requires-Root: no Homepage: https://github.com/deadalnix/pixel-saver Vcs-Git: https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-pixelsaver.git Vcs-Browser: https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-pixelsaver Package: gnome-shell-extension-pixelsaver Architecture: all Depends: ${misc:Depends}, gnome-shell (<< 44~), gnome-shell (>= 3.36~) Description: pixel saver extension for GNOME shell 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.