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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 regina-normal_6.0.1-..> 2021-04-19 11:33  2.2K  
 regina-normal_7.3-2.dsc 2023-05-04 16:54  2.2K  
 regina-normal_5.1-6.dsc 2018-10-28 13:36  2.3K  
 regina-normal_5.1-6...> 2018-10-28 13:36   12K  
 regina-normal_7.3-2...> 2023-05-04 16:54   14K  
 regina-normal_6.0.1-..> 2021-04-19 11:33   21K  
 regina-normal-mpi_5...> 2018-11-17 21:05  149K  
 regina-normal-dev_5...> 2018-11-17 21:05  572K  
 regina-normal-dev_6...> 2021-04-19 12:28  659K  
 regina-normal-dev_7...> 2023-05-04 18:30  811K  
 regina-normal_5.1-6+..> 2018-11-17 21:05   13M  
 regina-normal_6.0.1-..> 2021-04-19 12:28   14M  
 regina-normal-doc_6...> 2021-04-19 12:13   14M  
 regina-normal-doc_5...> 2018-10-28 13:36   14M  
 regina-normal_7.3-2_..> 2023-05-04 18:30   16M  
 regina-normal_5.1.or..> 2016-12-17 04:03   26M  
 regina-normal_6.0.1...> 2021-02-11 16:00   30M  
 regina-normal-doc_7...> 2023-05-04 18:09   71M  
 regina-normal_7.3.or..> 2023-03-19 03:48   93M