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

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