../ casacore-data-observatories_0+git2016.11.02-1.d..> 01-Dec-2023 22:33 4056 casacore-data-observatories_0+git2016.11.02-1.dsc 01-Dec-2023 22:33 2321 casacore-data-observatories_0+git2016.11.02-1_a..> 01-Dec-2023 22:33 7230 casacore-data-observatories_0+git2016.11.02.ori..> 01-Dec-2023 22:33 3807 casacore-data-observatories_0+git2018.12.08-1_a..> 09-Dec-2018 02:13 7512