../ 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_armhf.deb 09-Sep-2016 16:08 8557390 libhealpix-cxx0_3.30.0-3_armhf.deb 09-Sep-2016 16:08 333586