../ casacore-data-sources_2-2.debian.tar.xz 02-Dec-2016 12:28 2472 casacore-data-sources_2-2.dsc 02-Dec-2016 12:28 2164 casacore-data-sources_2-2_all.deb 02-Dec-2016 12:58 73582 casacore-data-sources_2.orig.tar.xz 28-Nov-2016 15:56 131448