Package: gnome-shell-extension-autohidetopbar Architecture: all Version: 20171126-2 Priority: optional Section: universe/gnome Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Tobias Frost <tobi@debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 87 Depends: gnome-shell (>= 3.18) Recommends: gnome-tweak-tool Filename: pool/universe/g/gnome-shell-extension-autohidetopbar/gnome-shell-extension-autohidetopbar_20171126-2_all.deb Size: 16028 MD5sum: ddb113038e84690b4ad1071c8599f0ef SHA1: 4298c93e98c298a146094a1067b01e139aae19d9 SHA256: 7f447ec335adf69787c554ae9f91a2df04e9f2615ac2f6b858017fc23a7205b7 Homepage: https://github.com/mlutfy/hidetopbar Description: GNOME shell automatic topbar hider Description-md5: 93da1149b58520f46e5dfadb1278eab9