Index of /debian-ports/pool-sh4/main/g/gnome-shell/

../
gnome-shell-dbgsym_3.30.2-11_sh4.deb               19-Aug-2019 21:03      1M
gnome-shell_3.30.2-11_sh4.buildinfo                19-Aug-2019 21:03     19K
gnome-shell_3.30.2-11_sh4.deb                      19-Aug-2019 21:03    699K