../ casacore-data-observatories_0+git2018.12.08-1.d..> 08-Dec-2018 18:44 4228 casacore-data-observatories_0+git2018.12.08-1.dsc 08-Dec-2018 18:44 2298 casacore-data-observatories_0+git2018.12.08-1_a..> 09-Dec-2018 02:13 7512 casacore-data-observatories_0+git2018.12.08.ori..> 08-Dec-2018 18:44 3914