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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
gnome-themes-extra_3.28-5_x32.buildinfo	14.7 KiB	31.10.2025 06:03
gnome-themes-extra-dbgsym_3.28-5_x32.deb	17.6 KiB	31.10.2025 06:03
gnome-themes-extra_3.28-5_x32.deb	506.3 KiB	31.10.2025 06:03