../ casacore-data-observatories_0+git2018.12.08-1.d..> 14-Dec-2018 12:00 4228 casacore-data-observatories_0+git2018.12.08-1.dsc 14-Dec-2018 12:00 2298 casacore-data-observatories_0+git2018.12.08-1_a..> 14-Dec-2018 12:01 7512 casacore-data-observatories_0+git2018.12.08.ori..> 14-Dec-2018 12:00 3914