/debian-ports/pool-x32/main/g/gnomint/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
gnomint_1.3.0-5_x32.buildinfo	14.9 KiB	20.10.2024 12:03
gnomint_1.3.0-5_x32.deb	230.3 KiB	20.10.2024 12:03
gnomint-dbgsym_1.3.0-5_x32.deb	348.0 KiB	20.10.2024 12:03