Index of /debian-ports/pool-x32/main/r/regina-normal/

../
regina-normal-dbgsym_7.4.1-1.2_x32.deb             02-Aug-2026 18:03           502772808
regina-normal-dev_7.4.1-1.2_x32.deb                02-Aug-2026 18:03              924536
regina-normal_7.4.1-1.2_x32.buildinfo              02-Aug-2026 18:03               13395
regina-normal_7.4.1-1.2_x32.deb                    02-Aug-2026 18:03            23201440