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