../ healpix-cxx_3.80.0-5.debian.tar.xz 21-Dec-2022 23:12 5808 healpix-cxx_3.80.0-5.dsc 21-Dec-2022 23:12 2134 healpix-cxx_3.80.0.orig.tar.gz 21-Dec-2022 23:12 523500 libhealpix-cxx-dev_3.80.0-5+b3_amd64.deb 22-Dec-2022 15:57 277044 libhealpix-cxx3_3.80.0-5+b3_amd64.deb 22-Dec-2022 15:59 217880