../ casacore-data-jpl-de200_2007.07.05+ds.1-0+deb10..> 08-Mar-2020 09:10 7297756 casacore-data-jpl-de200_2007.07.05-1_all.deb 08-Dec-2018 14:13 5837372 casacore-data-jpl-de405_2007.07.05+ds.1-0+deb10..> 08-Mar-2020 09:10 9088440 casacore-data-jpl-de405_2007.07.05-1_all.deb 08-Dec-2018 14:13 7253988