../ casacore-data-observatories_0+git2018.12.08-1_a..> 08-Dec-2018 18:13 7512 casacore-data-observatories_0+git2018.12.08-2_a..> 20-Jan-2020 08:05 7592 casacore-data-observatories_0+git2018.12.08-3_a..> 07-Oct-2024 12:24 5440