../ xfce4-whiskermenu-plugin-dbgsym_2.7.2-1_riscv64..> 19-Jul-2023 09:51 698348 xfce4-whiskermenu-plugin_2.7.2-1.debian.tar.xz 19-Jul-2023 09:51 3916 xfce4-whiskermenu-plugin_2.7.2-1.dsc 19-Jul-2023 09:51 1369 xfce4-whiskermenu-plugin_2.7.2-1_riscv64.deb 19-Jul-2023 09:51 195704 xfce4-whiskermenu-plugin_2.7.2.orig.tar.bz2 19-Jul-2023 09:51 180151