../ healpix-java_3.60+ds-5.debian.tar.xz 02-Dec-2022 09:24 3912 healpix-java_3.60+ds-5.dsc 02-Dec-2022 09:24 2211 healpix-java_3.60+ds.orig.tar.xz 01-Jan-2020 15:57 51244 libhealpix-java-doc_3.60+ds-5_all.deb 02-Dec-2022 09:55 54780 libhealpix-java_3.60+ds-5_all.deb 02-Dec-2022 09:55 76800