../ healpix-cxx_3.80.0-5.debian.tar.xz 08-May-2024 15:02 5808 healpix-cxx_3.80.0-5.dsc 08-May-2024 15:02 2134 healpix-cxx_3.80.0-5_riscv64.buildinfo 20-Jul-2026 12:01 6126 healpix-cxx_3.80.0.orig.tar.gz 08-May-2024 15:02 523500 libhealpix-cxx-dev_3.80.0-5_riscv64.deb 20-Jul-2026 12:01 875600 libhealpix-cxx3-dbgsym_3.80.0-5_riscv64.deb 20-Jul-2026 12:01 1650772 libhealpix-cxx3_3.80.0-5_riscv64.deb 20-Jul-2026 12:01 203144