Index of /debian-ports/pool-ia64/main/g/gnome-shell/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
gnome-shell-dbgsym_3.30.2-11_ia64.deb
1.3 MiB
2019-Aug-19 21:03
gnome-shell_3.30.2-11_ia64.buildinfo
19.2 KiB
2019-Aug-19 21:03
gnome-shell_3.30.2-11_ia64.deb
733.5 KiB
2019-Aug-19 21:03