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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]regina-normal_7.3.or..>2023-03-19 01:48 93M 
[   ]regina-normal-doc_7...>2023-05-04 17:09 71M 
[   ]regina-normal_6.0.1...>2021-02-11 14:00 30M 
[   ]regina-normal_5.1.or..>2016-12-17 02:03 26M 
[   ]regina-normal_7.3-2_..>2023-05-04 17:14 16M 
[   ]regina-normal_7.3-2_..>2023-05-04 17:30 16M 
[   ]regina-normal_7.3-2_..>2023-05-04 17:14 16M 
[   ]regina-normal_6.0.1-..>2021-04-19 11:44 14M 
[   ]regina-normal-doc_5...>2018-10-28 11:36 14M 
[   ]regina-normal-doc_6...>2021-04-19 11:13 14M 
[   ]regina-normal_6.0.1-..>2021-04-19 11:28 14M 
[   ]regina-normal_6.0.1-..>2021-04-19 11:28 14M 
[   ]regina-normal_5.1-6+..>2018-11-17 09:25 14M 
[   ]regina-normal_5.1-6+..>2018-11-17 19:05 13M 
[   ]regina-normal-dev_7...>2023-05-04 17:14 811K 
[   ]regina-normal-dev_7...>2023-05-04 17:30 811K 
[   ]regina-normal-dev_7...>2023-05-04 17:14 811K 
[   ]regina-normal-dev_6...>2021-04-19 11:44 659K 
[   ]regina-normal-dev_6...>2021-04-19 11:28 659K 
[   ]regina-normal-dev_6...>2021-04-19 11:28 659K 
[   ]regina-normal-dev_5...>2018-11-17 09:25 572K 
[   ]regina-normal-dev_5...>2018-11-17 19:05 572K 
[   ]regina-normal-mpi_5...>2018-11-17 19:05 149K 
[   ]regina-normal-mpi_5...>2018-11-17 09:25 148K 
[   ]regina-normal_6.0.1-..>2021-04-19 10:33 21K 
[   ]regina-normal_7.3-2...>2023-05-04 15:54 14K 
[   ]regina-normal_5.1-6...>2018-10-28 11:36 12K 
[TXT]regina-normal_5.1-6.dsc2018-10-28 11:36 2.3K 
[TXT]regina-normal_7.3-2.dsc2023-05-04 15:54 2.2K 
[TXT]regina-normal_6.0.1-..>2021-04-19 10:33 2.2K