../ casacore-data-jpl-de200_2007.07.05-1_all.deb 08-Dec-2018 14:13 5837372 casacore-data-jpl-de405_2007.07.05-1_all.deb 08-Dec-2018 14:13 7253988 casacore-data-jplde_2007.07.05-1.debian.tar.xz 08-Dec-2018 14:13 2580 casacore-data-jplde_2007.07.05-1.dsc 08-Dec-2018 14:13 2229 casacore-data-jplde_2007.07.05.orig.tar.xz 08-Dec-2018 14:13 15404420