../ casacore-data-jpl-de200_2007.07.05+ds.1-ok1_all..> 23-May-2026 14:01 7426534 casacore-data-jpl-de405_2007.07.05+ds.1-ok1_all..> 23-May-2026 14:01 9165654 casacore-data-jplde_2007.07.05+ds.1-ok1.debian...> 06-May-2026 15:20 2664 casacore-data-jplde_2007.07.05+ds.1-ok1.dsc 06-May-2026 15:20 2088 casacore-data-jplde_2007.07.05+ds.1.orig.tar.xz 06-May-2026 15:20 19244804