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


../
gnome-shell-dbgsym_3.30.2-11_sh4.deb               19-Aug-2019 12:03             1159088
gnome-shell_3.30.2-11_sh4.buildinfo                19-Aug-2019 12:03               19595
gnome-shell_3.30.2-11_sh4.deb                      19-Aug-2019 12:03              715632