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

../
gnome-themes-extra-dbgsym_3.28-2+b1_x32.deb        11-Mar-2024 06:03               18040
gnome-themes-extra_3.28-2+b1_x32.buildinfo         11-Mar-2024 06:03               15963
gnome-themes-extra_3.28-2+b1_x32.deb               11-Mar-2024 06:03              518656