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

../
regina-normal-dbgsym_7.0-2+b1_x32.deb              29-Mar-2022 21:03    319M
regina-normal-dev_7.0-2+b1_x32.deb                 29-Mar-2022 21:03    774K
regina-normal_7.0-2+b1_x32.buildinfo               29-Mar-2022 21:03     13K
regina-normal_7.0-2+b1_x32.deb                     29-Mar-2022 21:03     15M