../ cds-healpix-java_0.27.1+ds-1.debian.tar.xz 25-Jun-2020 16:19 3688 cds-healpix-java_0.27.1+ds-1.dsc 25-Jun-2020 16:19 2313 cds-healpix-java_0.27.1+ds.orig.tar.xz 25-Jun-2020 16:19 587332 libcds-healpix-java-doc_0.27.1+ds-1_all.deb 25-Jun-2020 16:45 312656 libcds-healpix-java_0.27.1+ds-1_all.deb 25-Jun-2020 16:45 263356