../ casacore-data-observatories_0+git2018.12.08-1.d..> 11-Apr-2022 11:16 4228 casacore-data-observatories_0+git2018.12.08-1.dsc 11-Apr-2022 11:16 2298 casacore-data-observatories_0+git2018.12.08-1_a..> 11-Apr-2022 11:38 7512 casacore-data-observatories_0+git2018.12.08.ori..> 11-Apr-2022 11:16 3914