../ casacore-data-observatories_0+git2016.11.02-1.d..> 28-Nov-2016 18:16 4056 casacore-data-observatories_0+git2016.11.02-1.dsc 28-Nov-2016 18:16 2321 casacore-data-observatories_0+git2016.11.02-1_a..> 28-Nov-2016 18:16 7230 casacore-data-observatories_0+git2016.11.02.ori..> 28-Nov-2016 18:16 3807