../ healpix-java_3.40-1.debian.tar.xz 20-Aug-2018 14:23 3460 healpix-java_3.40-1.dsc 20-Aug-2018 14:23 2169 healpix-java_3.40.orig.tar.gz 20-Aug-2018 14:23 63054 libhealpix-java-doc_3.40-1_all.deb 20-Aug-2018 14:23 137532 libhealpix-java_3.40-1_all.deb 20-Aug-2018 14:23 76020