Index of /pub/linux/debian/debian-ports/pool/main/r/regina-normal

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 regina-normal-doc_7.4.1-1.1_all.deb         2025-12-16 13:27   83M  
 regina-normal-doc_7.4.1-1.2_all.deb         2026-08-02 13:55   83M