../ healpix-cxx_3.80.0-5.debian.tar.xz 29-Oct-2021 02:34 5808 healpix-cxx_3.80.0-5.dsc 29-Oct-2021 02:34 2134 healpix-cxx_3.80.0.orig.tar.gz 19-Aug-2021 15:54 523500 libhealpix-cxx-dev_3.80.0-5+b3_amd64.deb 20-Dec-2022 11:43 277044 libhealpix-cxx3_3.80.0-5+b3_amd64.deb 20-Dec-2022 11:43 217880