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

../
gnome-shell-dbgsym_3.30.2-11_ia64.deb              19-Aug-2019 12:03             1382160
gnome-shell_3.30.2-11_ia64.buildinfo               19-Aug-2019 12:03               19706
gnome-shell_3.30.2-11_ia64.deb                     19-Aug-2019 12:03              751108