![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| regina-normal_5.1.or..> | 2016-12-17 08:03 | 26M | |
| regina-normal_5.1-6...> | 2018-10-28 17:36 | 12K | |
| regina-normal_5.1-6.dsc | 2018-10-28 17:36 | 2.3K | |
| regina-normal-doc_5...> | 2018-10-28 17:36 | 14M | |
| regina-normal-dev_5...> | 2018-11-07 23:08 | 572K | |
| regina-normal-mpi_5...> | 2018-11-07 23:08 | 122K | |
| regina-normal_5.1-6_..> | 2018-11-07 23:08 | 13M | |
| regina-normal_6.0.1...> | 2021-02-11 20:00 | 30M | |
| regina-normal_6.0.1-..> | 2021-04-19 15:33 | 21K | |
| regina-normal_6.0.1-..> | 2021-04-19 15:33 | 2.2K | |
| regina-normal-doc_6...> | 2021-04-19 16:13 | 14M | |
| regina-normal-dev_6...> | 2021-05-09 23:08 | 659K | |
| regina-normal_6.0.1-..> | 2021-05-09 23:08 | 13M | |
| regina-normal_7.3.or..> | 2023-03-19 07:48 | 93M | |
| regina-normal_7.3-2...> | 2023-05-04 20:54 | 14K | |
| regina-normal_7.3-2.dsc | 2023-05-04 20:54 | 2.2K | |
| regina-normal-doc_7...> | 2023-05-04 22:09 | 71M | |
| regina-normal-dev_7...> | 2023-05-26 05:08 | 811K | |
| regina-normal_7.3-2_..> | 2023-05-26 05:08 | 15M | |