Index of /pool/main/r/regina-normal

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -
[   ]regina-normal_6.0.1-4.dsc19-Apr-2021 10:33 2.2K
[   ]regina-normal_7.3-2.dsc04-May-2023 15:54 2.2K
[   ]regina-normal_5.1-6.dsc28-Oct-2018 11:36 2.3K
[   ]regina-normal_5.1-6.debian.tar.xz28-Oct-2018 11:36 12K
[   ]regina-normal_7.3-2.debian.tar.xz04-May-2023 15:54 14K
[   ]regina-normal_6.0.1-4.debian.tar.xz19-Apr-2021 10:33 21K
[   ]regina-normal-mpi_5.1-6+b1_armhf.deb17-Nov-2018 15:26 124K
[   ]regina-normal-mpi_5.1-6+b1_arm64.deb17-Nov-2018 11:27 145K
[   ]regina-normal-mpi_5.1-6+b1_i386.deb17-Nov-2018 09:25 148K
[   ]regina-normal-mpi_5.1-6+b1_amd64.deb17-Nov-2018 19:05 149K
[   ]regina-normal-dev_5.1-6+b1_amd64.deb17-Nov-2018 19:05 572K
[   ]regina-normal-dev_5.1-6+b1_armhf.deb17-Nov-2018 15:26 572K
[   ]regina-normal-dev_5.1-6+b1_arm64.deb17-Nov-2018 11:27 572K
[   ]regina-normal-dev_5.1-6+b1_i386.deb17-Nov-2018 09:25 572K
[   ]regina-normal-dev_6.0.1-4_amd64.deb19-Apr-2021 11:28 659K
[   ]regina-normal-dev_6.0.1-4_arm64.deb19-Apr-2021 11:44 659K
[   ]regina-normal-dev_6.0.1-4_i386.deb19-Apr-2021 11:44 659K
[   ]regina-normal-dev_6.0.1-4_armhf.deb19-Apr-2021 12:00 659K
[   ]regina-normal-dev_7.3-2_amd64.deb04-May-2023 17:30 811K
[   ]regina-normal-dev_7.3-2_arm64.deb04-May-2023 18:10 811K
[   ]regina-normal-dev_7.3-2_armhf.deb04-May-2023 17:30 811K
[   ]regina-normal-dev_7.3-2_i386.deb04-May-2023 17:14 811K
[   ]regina-normal_5.1-6+b1_armhf.deb17-Nov-2018 15:26 13M
[   ]regina-normal_5.1-6+b1_arm64.deb17-Nov-2018 11:27 13M
[   ]regina-normal_5.1-6+b1_amd64.deb17-Nov-2018 19:05 13M
[   ]regina-normal_6.0.1-4_arm64.deb19-Apr-2021 11:44 13M
[   ]regina-normal_6.0.1-4_armhf.deb19-Apr-2021 12:00 14M
[   ]regina-normal_5.1-6+b1_i386.deb17-Nov-2018 09:25 14M
[   ]regina-normal_6.0.1-4_amd64.deb19-Apr-2021 11:28 14M
[   ]regina-normal-doc_6.0.1-4_all.deb19-Apr-2021 11:13 14M
[   ]regina-normal-doc_5.1-6_all.deb28-Oct-2018 11:36 14M
[   ]regina-normal_6.0.1-4_i386.deb19-Apr-2021 11:44 14M
[   ]regina-normal_7.3-2_arm64.deb04-May-2023 18:10 15M
[   ]regina-normal_7.3-2_armhf.deb04-May-2023 17:30 15M
[   ]regina-normal_7.3-2_amd64.deb04-May-2023 17:30 16M
[   ]regina-normal_7.3-2_i386.deb04-May-2023 17:14 16M
[   ]regina-normal_5.1.orig.tar.gz17-Dec-2016 02:03 26M
[   ]regina-normal_6.0.1.orig.tar.gz11-Feb-2021 14:00 30M
[   ]regina-normal-doc_7.3-2_all.deb04-May-2023 17:09 71M
[   ]regina-normal_7.3.orig.tar.gz19-Mar-2023 01:48 93M