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