(BIN) casacore-data-jpl-de200_2007.07.05+ds.1-1_all.deb
 (BIN) casacore-data-jpl-de200_2007.07.05+ds.1-2_all.deb
 (BIN) casacore-data-jpl-de405_2007.07.05+ds.1-1_all.deb
 (BIN) casacore-data-jpl-de405_2007.07.05+ds.1-2_all.deb
 (BIN) casacore-data-jplde_2007.07.05+ds.1-1.debian.tar.xz
 (TXT) casacore-data-jplde_2007.07.05+ds.1-1.dsc
 (BIN) casacore-data-jplde_2007.07.05+ds.1-2.debian.tar.xz
 (TXT) casacore-data-jplde_2007.07.05+ds.1-2.dsc
 (BIN) casacore-data-jplde_2007.07.05+ds.1.orig.tar.xz