../ casacore-data-jpl-de200_2007.07.05-1_all.deb 13-Jan-2019 05:23 5830528 casacore-data-jpl-de405_2007.07.05-1_all.deb 13-Jan-2019 05:23 7250256 casacore-data-jplde_2007.07.05-1.debian.tar.xz 13-Jan-2019 05:13 2580 casacore-data-jplde_2007.07.05-1.dsc 13-Jan-2019 05:13 2229 casacore-data-jplde_2007.07.05.orig.tar.xz 13-Jan-2019 05:13 15404420