../ casacore-data-observatories_0+git2016.11.02-1.d..> 24-Apr-2019 17:12 4056 casacore-data-observatories_0+git2016.11.02-1.dsc 24-Apr-2019 17:12 2321 casacore-data-observatories_0+git2016.11.02-1_a..> 24-Apr-2019 17:12 7230 casacore-data-observatories_0+git2016.11.02.ori..> 24-Apr-2019 17:12 3807