Package: gnome-shell-extension-dash-to-panel Architecture: all Version: 31-1ubuntu20.04.1 Priority: optional Section: universe/gnome Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Jonathan Carter Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 1415 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-1ubuntu20.04.1_all.deb Size: 156552 MD5sum: c40007965e4ed43fa3ebb27b9d23bb1d SHA1: abcbbe123f629f4657a29b1af766ede78da4bcb6 SHA256: 7dd0926edb28fa06610c6fea577f05c0094e7ec8b8d3ea5f050b2849cd2f0b39 SHA512: 97a0074affb4f5ba8bbdad1fc951e47c1599bebe2e2e3cb62094f34402f8d2cb5b9979a7352581821439ef609084c95f05daca5d8ff1102b5c27801040f618c5 Homepage: https://github.com/jderose9/dash-to-panel Description: combines the dash and the GNOME main panel into a single panel Description-md5: 63e193d0ba2fcbd880f805d69b871251