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