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