Package: gnome-shell-extension-remove-dropdown-arrows Architecture: all Version: 9-1 Priority: optional Section: universe/gnome Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Jonathan Carter <jcc@debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 18 Depends: gnome-shell (>= 3.16) Filename: pool/universe/g/gnome-shell-extension-remove-dropdown-arrows/gnome-shell-extension-remove-dropdown-arrows_9-1_all.deb Size: 3840 MD5sum: cd45ad2528508741d47b0294ae74c385 SHA1: db4a40cc69039e49392bac7ee58e52e2cf5db5a4 SHA256: 3e2914238816fd91c6c834310ebea3b878529ee6841d750f011a00401dcd9766 Homepage: https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows Description: removes drop down arrows from panel on GNOME shell Description-md5: 139ca8f8fa373e83f17af0f0eb9ada98