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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]regina-normal-dev_6.0.1-4_amd64.deb2021-04-19 10:28 659K
[   ]regina-normal-dev_7.3-2_amd64.deb2023-05-04 16:30 811K
[   ]regina-normal-dev_7.3.1-3+b1_amd64.deb2025-08-16 00:20 813K
[   ]regina-normal-dev_7.4-1_amd64.deb2025-08-28 05:30 903K
[   ]regina-normal-doc_6.0.1-4_all.deb2021-04-19 10:13 14M
[   ]regina-normal-doc_7.3-2_all.deb2023-05-04 16:09 71M
[   ]regina-normal-doc_7.3.1-3_all.deb2025-07-23 14:43 71M
[   ]regina-normal-doc_7.4-1_all.deb2025-08-28 05:31 83M
[   ]regina-normal_6.0.1-4.debian.tar.xz2021-04-19 09:33 21K
[TXT]regina-normal_6.0.1-4.dsc2021-04-19 09:33 2.2K
[   ]regina-normal_6.0.1-4_amd64.deb2021-04-19 10:28 14M
[   ]regina-normal_6.0.1.orig.tar.gz2021-02-11 13:00 30M
[   ]regina-normal_7.3-2.debian.tar.xz2023-05-04 14:54 14K
[TXT]regina-normal_7.3-2.dsc2023-05-04 14:54 2.2K
[   ]regina-normal_7.3-2_amd64.deb2023-05-04 16:30 16M
[   ]regina-normal_7.3.1-3+b1_amd64.deb2025-08-16 00:20 17M
[   ]regina-normal_7.3.1-3.debian.tar.xz2025-07-23 13:57 17K
[TXT]regina-normal_7.3.1-3.dsc2025-07-23 13:57 2.2K
[   ]regina-normal_7.3.1.orig.tar.gz2025-07-10 15:10 93M
[   ]regina-normal_7.3.orig.tar.gz2023-03-19 00:48 93M
[   ]regina-normal_7.4-1.debian.tar.xz2025-08-28 04:14 14K
[TXT]regina-normal_7.4-1.dsc2025-08-28 04:14 2.1K
[   ]regina-normal_7.4-1_amd64.deb2025-08-28 05:30 22M
[   ]regina-normal_7.4.orig.tar.gz2025-08-28 04:14 110M

Apache/2.4.65 (Debian) Server at mirror.tecnico.ulisboa.pt Port 443