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

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