../ healpix-cxx_3.30.0-3.debian.tar.xz 03-Sep-2016 23:38 4572 healpix-cxx_3.30.0-3.dsc 03-Sep-2016 23:38 2141 healpix-cxx_3.30.0.orig.tar.gz 22-May-2016 10:23 507035 libhealpix-cxx-dev_3.30.0-3+b1_armhf.deb 28-Oct-2016 16:08 8596212 libhealpix-cxx0_3.30.0-3+b1_armhf.deb 28-Oct-2016 16:08 334108