../ casacore-data-jpl-de200_2007.07.05+ds.1-0+deb10..> 21-Feb-2023 11:51 7290880 casacore-data-jpl-de405_2007.07.05+ds.1-0+deb10..> 21-Feb-2023 11:51 9098432 casacore-data-jplde_2007.07.05+ds.1-0+deb10u1.1..> 21-Mar-2023 07:27 2760 casacore-data-jplde_2007.07.05+ds.1-0+deb10u1.1..> 21-Mar-2023 07:27 1421 casacore-data-jplde_2007.07.05+ds.1.orig.tar.xz 21-Mar-2023 07:27 19244804