Package: gnome-shell-extension-workspaces-to-dock
Architecture: all
Version: 52+git20200318-1
Priority: optional
Section: universe/gnome
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 912
Depends: gnome-shell (>= 3.36), gnome-shell (<< 3.37)
Recommends: gnome-shell-extension-prefs
Filename: pool/universe/g/gnome-shell-extension-workspaces-to-dock/gnome-shell-extension-workspaces-to-dock_52+git20200318-1_all.deb
Size: 95528
MD5sum: 15097d2db1a10d68e6f644d9688013ae
SHA1: 630551543dc70b13b624b488ca0b1ba1d7352e21
SHA256: 3813abf090bfb7e5accbec3e6e8d0986ee60ea135e0f94e1348d2271abc51369
Homepage: https://github.com/passingthru67/workspaces-to-dock
Description: additional options for GNOME workspace switcher
Description-md5: 28527a271d5cc0314ea1c1353949fb43