../ casacore-data-observatories_0+git2016.11.02-1_a..> 08-Jan-2023 17:59 7230 casacore-data-observatories_0+git2018.12.08-1_a..> 08-Jan-2023 13:46 7512 casacore-data-observatories_0+git2018.12.08-2_a..> 08-Jan-2023 11:56 7592