../ healpix-cxx_3.30.0-4.debian.tar.xz 15-Nov-2016 17:16 4540 healpix-cxx_3.30.0-4.dsc 15-Nov-2016 17:16 2104 healpix-cxx_3.30.0.orig.tar.gz 22-May-2016 10:23 507035 libhealpix-cxx-dev_3.30.0-4_armhf.deb 21-Nov-2016 16:08 8596374 libhealpix-cxx0_3.30.0-4_armhf.deb 21-Nov-2016 16:08 333820