../ casacore-data-observatories_0+git2018.12.08-3.d..> 18-Oct-2026 13:11 2212 casacore-data-observatories_0+git2018.12.08-3.dsc 18-Oct-2026 13:11 2289 casacore-data-observatories_0+git2018.12.08-3_a..> 18-Oct-2026 13:11 5440 casacore-data-observatories_0+git2018.12.08.ori..> 18-Oct-2026 13:11 3914