../ cds-healpix-java_0.25.1+ds-2.debian.tar.xz 12-Nov-2019 22:53 4024 cds-healpix-java_0.25.1+ds-2.dsc 12-Nov-2019 22:53 2323 cds-healpix-java_0.25.1+ds.orig.tar.xz 09-Nov-2019 23:23 570K libcds-healpix-java-doc_0.25.1+ds-2_all.deb 12-Nov-2019 23:28 304K libcds-healpix-java_0.25.1+ds-2_all.deb 12-Nov-2019 23:28 253K