../ casacore-data-observatories_0+git2016.11.02-1.d..> 28-Nov-2016 17:18 4056 casacore-data-observatories_0+git2016.11.02-1.dsc 28-Nov-2016 17:18 2321 casacore-data-observatories_0+git2016.11.02-1_a..> 28-Nov-2016 19:08 7286 casacore-data-observatories_0+git2016.11.02.ori..> 28-Nov-2016 17:18 3807 casacore-data-observatories_0+git2018.12.08-2.d..> 20-Jan-2020 11:23 4268 casacore-data-observatories_0+git2018.12.08-2.dsc 20-Jan-2020 11:23 2289 casacore-data-observatories_0+git2018.12.08-2_a..> 20-Jan-2020 11:43 7636 casacore-data-observatories_0+git2018.12.08.ori..> 08-Dec-2018 23:14 3914