/debian-ports/pool-sh4/main/g/gnome-shell/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gnome-shell-dbgsym_3.30.2-11_sh4.deb1.1 MiB19.08.2019 12:03
gnome-shell_3.30.2-11_sh4.deb698.9 KiB19.08.2019 12:03
gnome-shell_3.30.2-11_sh4.buildinfo19.1 KiB19.08.2019 12:03