../ cds-healpix-java_0.25.1+ds-1.debian.tar.xz 11-Nov-2019 05:13 3456 cds-healpix-java_0.25.1+ds-1.dsc 11-Nov-2019 05:13 2323 cds-healpix-java_0.25.1+ds.orig.tar.xz 11-Nov-2019 05:13 584128 libcds-healpix-java-doc_0.25.1+ds-1_all.deb 11-Nov-2019 09:58 309928 libcds-healpix-java_0.25.1+ds-1_all.deb 11-Nov-2019 09:58 257972