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

../
gnome-shell-dbgsym_3.30.2-11_hppa.deb              19-Aug-2019 12:03             1263700
gnome-shell_3.30.2-11_hppa.buildinfo               19-Aug-2019 12:03               19592
gnome-shell_3.30.2-11_hppa.deb                     19-Aug-2019 12:03              706328