../ casacore-data-observatories_0+git2018.12.08-2.d..> 05-Oct-2021 04:59 4268 casacore-data-observatories_0+git2018.12.08-2.dsc 05-Oct-2021 04:59 2289 casacore-data-observatories_0+git2018.12.08-2_a..> 05-Oct-2021 04:59 7592 casacore-data-observatories_0+git2018.12.08.ori..> 05-Oct-2021 04:59 3914