Index of /debian/pool/main/r/regina-normal
Name Last modified Size Description
Parent Directory -
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-doc_5...> 2018-10-28 13:36 14M
regina-normal-doc_6...> 2021-04-19 12:13 14M
regina-normal-doc_7...> 2023-05-04 18:09 71M
regina-normal-mpi_5...> 2018-11-17 21:05 149K
regina-normal_5.1-6+..> 2018-11-17 21:05 13M
regina-normal_5.1-6...> 2018-10-28 13:36 12K
regina-normal_5.1-6.dsc 2018-10-28 13:36 2.3K
regina-normal_5.1.or..> 2016-12-17 04:03 26M
regina-normal_6.0.1-..> 2021-04-19 11:33 21K
regina-normal_6.0.1-..> 2021-04-19 11:33 2.2K
regina-normal_6.0.1-..> 2021-04-19 12:28 14M
regina-normal_6.0.1...> 2021-02-11 16:00 30M
regina-normal_7.3-2...> 2023-05-04 16:54 14K
regina-normal_7.3-2.dsc 2023-05-04 16:54 2.2K
regina-normal_7.3-2_..> 2023-05-04 18:30 16M
regina-normal_7.3.or..> 2023-03-19 03:48 93M