../ casacore-data-jpl-de200_2007.07.05-1_all.deb 23-Jan-2019 12:00 5837372 casacore-data-jpl-de405_2007.07.05-1_all.deb 23-Jan-2019 12:00 7253988 casacore-data-jplde_2007.07.05-1.debian.tar.xz 23-Jan-2019 12:00 2580 casacore-data-jplde_2007.07.05-1.dsc 23-Jan-2019 12:00 2229 casacore-data-jplde_2007.07.05.orig.tar.xz 23-Jan-2019 12:00 15404420