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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gnome-shell-dbgsym_3.30.2-11_ia64.deb1.3 MiB19.08.2019 12:03
gnome-shell_3.30.2-11_ia64.buildinfo19.2 KiB19.08.2019 12:03
gnome-shell_3.30.2-11_ia64.deb733.5 KiB19.08.2019 12:03