Package: gnome-shell-extension-autohidetopbar Priority: optional Section: universe/gnome Installed-Size: 69 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Tobias Frost <tobi@debian.org> Architecture: all Version: 20151103-1 Depends: gnome-shell (<< 3.19), gnome-shell (>= 3.8) Recommends: gnome-tweak-tool Filename: pool/universe/g/gnome-shell-extension-autohidetopbar/gnome-shell-extension-autohidetopbar_20151103-1_all.deb Size: 13422 MD5sum: 2e8c4835838181af50b987b023147dbb SHA1: e98242149259bd31a016702e364f234339e38b28 SHA256: 39201db1fe551a6690d4a141ca5ff5cd8d26cb688f8cfe7a93907736fcbd6112 Description: GNOME shell automatic topbar hider Homepage: https://github.com/mlutfy/hidetopbar Description-md5: 93da1149b58520f46e5dfadb1278eab9 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu