../ casacore-data-sources_2-4.debian.tar.xz 15-Jul-2022 17:19 2800 casacore-data-sources_2-4.dsc 15-Jul-2022 17:19 2146 casacore-data-sources_2-4_all.deb 15-Jul-2022 18:14 83400 casacore-data-sources_2.orig.tar.xz 01-Dec-2016 05:50 131448