../ healpix-cxx_3.80.0-5.debian.tar.xz 29-Oct-2021 05:23 5808 healpix-cxx_3.80.0-5.dsc 29-Oct-2021 05:23 2134 healpix-cxx_3.80.0.orig.tar.gz 18-Oct-2021 20:26 523500 libhealpix-cxx-dev_3.80.0-5_amd64.deb 29-Oct-2021 08:43 296236 libhealpix-cxx3_3.80.0-5_amd64.deb 29-Oct-2021 08:43 222676