Package: gnome-shell-extension-dash-to-panel Architecture: all Version: 31-1 Priority: optional Section: universe/gnome Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Jonathan Carter Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 1413 Depends: dconf-gsettings-backend | gsettings-backend, gnome-shell (>= 3.18) Filename: pool/universe/g/gnome-shell-extension-dash-to-panel/gnome-shell-extension-dash-to-panel_31-1_all.deb Size: 156564 MD5sum: f4a18f9bf2bb03f61e08cb5d6eaba788 SHA1: 8e9ca3ad2d848f093958697363a05a23278cde50 SHA256: 0c59563c808eb9c3870056eff59e665405fef3c804aac390a73d01cdb5df2b08 Homepage: https://github.com/jderose9/dash-to-panel Description: combines the dash and the GNOME main panel into a single panel Description-md5: 63e193d0ba2fcbd880f805d69b871251