Index of /debian-ports/pool-sh4/main/g/gnome-shell/
Name
Size
Date
📁 ../
-
-
📄 gnome-shell-dbgsym_3.30.2-11_sh4.deb
1159088 bytes
2019-08-19 12:03:36
📄 gnome-shell_3.30.2-11_sh4.buildinfo
19595 bytes
2019-08-19 12:03:36
📄 gnome-shell_3.30.2-11_sh4.deb
715632 bytes
2019-08-19 12:03:36