Index of /pool/main/c/casacore-data-jplde/

../
casacore-data-jpl-de200_2007.07.05+ds.1-0+deb10..> 22-Jul-2020 15:13             7291136
casacore-data-jpl-de405_2007.07.05+ds.1-0+deb10..> 22-Jul-2020 15:38             9099008