Index of /debian/pool/non-free-firmware/r/regina-normal/

../
regina-normal-dev_7.3-2_amd64.deb                  01-Aug-2023 14:18              830256
regina-normal-doc_7.3-2_all.deb                    01-Aug-2023 13:02            74823508
regina-normal_7.3-2_amd64.deb                      01-Aug-2023 12:31            16734696