../ casacore-data-observatories_0+git2018.12.08-2.d..> 30-Aug-2023 22:24 4268 casacore-data-observatories_0+git2018.12.08-2.dsc 30-Aug-2023 22:24 2289 casacore-data-observatories_0+git2018.12.08-2_a..> 30-Aug-2023 22:24 7636 casacore-data-observatories_0+git2018.12.08.ori..> 30-Aug-2023 22:24 3914