Package: gnome-shell-extension-autohidetopbar Priority: optional Section: universe/gnome Installed-Size: 92 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Tobias Frost <tobi@coldtobi.de> Architecture: all Version: 20140113-1 Depends: gnome-shell (>= 3.8) Recommends: gnome-tweak-tool Filename: pool/universe/g/gnome-shell-extension-autohidetopbar/gnome-shell-extension-autohidetopbar_20140113-1_all.deb Size: 8386 MD5sum: c692f647c4d632d59de1a406a6832c13 SHA1: d8debe0d8ea30099a9eee957a6a298d8a1c58c8b SHA256: 08fa4a3f95d6bb8332cad3e3ee809ece539b4d10c14046aac3cecdc7471792c9 Description: gnome shell automatic topbar hider Homepage: https://github.com/mlutfy/hidetopbar Description-md5: 9372a5bf60dd30442a971629a8285d49 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu