Index of /debian-ports/pool-sh4/main/g/gnome-shell/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
gnome-shell-dbgsym_3.30.2-11_sh4.deb
1.1 MiB
2019-Aug-19 21:03
gnome-shell_3.30.2-11_sh4.buildinfo
19.1 KiB
2019-Aug-19 21:03
gnome-shell_3.30.2-11_sh4.deb
698.9 KiB
2019-Aug-19 21:03