/debian-ports/pool-x32/main/g/gnome-themes-extra/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gnome-themes-extra-dbgsym_3.28-3_x32.deb17.7 KiB31.08.2024 00:03
gnome-themes-extra_3.28-3_x32.buildinfo14.8 KiB31.08.2024 00:03
gnome-themes-extra_3.28-3_x32.deb506.3 KiB31.08.2024 00:03