deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
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.
Homepage: https://github.com/deadalnix/pixel-saver
Installed-Size: '823'
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Package: gnome-shell-extension-pixelsaver
Priority: optional
Section: gnome
Version: 1.30-1
srcpkg_name: gnome-shell-extension-pixelsaver
srcpkg_version: 1.30-1