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