gnome-shell-extension-dashtodock 65-1 (armhf binary) in ubuntu disco

 Dash to dock extension is an enhanced dash for GNOME Shell. It moves the
 default dash out of the overview and transforms it in a dock for an easier
 launching of applications and a faster switching between windows and
 workspaces without leaving the desktop view improving the workflow in your
 system.
 .
 It supports autohide and intellihide modes as well as a fixed mode.
 Optional features are available in the extension settings. The extension
 is themes friendly.