../ casacore-data-tai-utc_1.2.dsc 21-Nov-2017 20:44 1755 casacore-data-tai-utc_1.2.tar.xz 21-Nov-2017 20:44 4156 casacore-data-tai-utc_1.2_all.deb 21-Nov-2017 21:14 4960