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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gnome-shell-dbgsym_3.30.2-11_hppa.deb1.2 MiB19.08.2019 12:03
gnome-shell_3.30.2-11_hppa.deb689.8 KiB19.08.2019 12:03
gnome-shell_3.30.2-11_hppa.buildinfo19.1 KiB19.08.2019 12:03