Index of /3.1-arm/nfs/pool/upstream/r/regina-normal/

../
regina-normal-dev_5.1-1_arm64.deb                  22-Nov-2019 07:58              585842
regina-normal-doc_5.1-1_all.deb                    22-Nov-2019 07:58            14779384
regina-normal-mpi_5.1-1_arm64.deb                  22-Nov-2019 07:58              144248
regina-normal_5.1-1_arm64.deb                      22-Nov-2019 07:59            12930510