Index of /debian-ports/pool-x32/main/g/gnomint/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
gnomint_1.3.0-4+b1_x32.buildinfo
15.7 KiB
2024-Mar-11 15:03
gnomint_1.3.0-4+b1_x32.deb
230.7 KiB
2024-Mar-11 15:03
gnomint-dbgsym_1.3.0-4+b1_x32.deb
347.7 KiB
2024-Mar-11 15:03