../ casacore-data-observatories_0+git2016.11.02-1.d..> 29-Nov-2016 01:18 4056 casacore-data-observatories_0+git2016.11.02-1.dsc 29-Nov-2016 01:18 2321 casacore-data-observatories_0+git2016.11.02-1_a..> 29-Nov-2016 03:08 7286 casacore-data-observatories_0+git2016.11.02.ori..> 29-Nov-2016 01:18 3807