../ casacore-data-observatories_0+git2018.12.08-2.d..> 20-Jan-2020 07:40 4268 casacore-data-observatories_0+git2018.12.08-2.dsc 20-Jan-2020 07:40 2289 casacore-data-observatories_0+git2018.12.08-2_a..> 20-Jan-2020 08:05 7592 casacore-data-observatories_0+git2018.12.08.ori..> 08-Dec-2018 10:44 3914