Publishing details

• Built by recipe gnome-shell-extension-dash-to-panel-debian for Mantas Kriaučiūnas
• Published on 2022-12-21

Changelog

gnome-shell-extension-dash-to-panel (52-0~20221018~ubuntu22.04.1) jammy; urgency=low

  * Auto build.

 -- Mantas Kriaučiūnas <email address hidden>  Wed, 21 Dec 2022 10:09:10 +0000

Builds

• amd64

Built packages

• gnome-shell-extension-dash-to-panel combines the dash and the GNOME main panel into a single panel

Package files

• gnome-shell-extension-dash-to-panel_52-0~20221018~ubuntu22.04.1.debian.tar.xz (3.6 KiB)
• gnome-shell-extension-dash-to-panel_52-0~20221018~ubuntu22.04.1.dsc (1.3 KiB)
• gnome-shell-extension-dash-to-panel_52-0~20221018~ubuntu22.04.1_all.deb (214.2 KiB)
• gnome-shell-extension-dash-to-panel_52.orig.tar.gz (20.2 MiB)