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