../ cds-healpix-java_0.25.1+ds-2.debian.tar.xz 12-Nov-2019 14:53 4024 cds-healpix-java_0.25.1+ds-2.dsc 12-Nov-2019 14:53 2323 cds-healpix-java_0.25.1+ds.orig.tar.xz 09-Nov-2019 15:23 584128 libcds-healpix-java-doc_0.25.1+ds-2_all.deb 12-Nov-2019 15:28 310980 libcds-healpix-java_0.25.1+ds-2_all.deb 12-Nov-2019 15:28 258944