../ healpix-cxx_3.30.0-6.debian.tar.xz 23-Jan-2017 17:45 5068 healpix-cxx_3.30.0-6.dsc 23-Jan-2017 17:45 2136 healpix-cxx_3.30.0.orig.tar.gz 22-May-2016 10:23 507035 libhealpix-cxx-dev_3.30.0-6_armhf.deb 04-Feb-2017 04:08 8568804 libhealpix-cxx0_3.30.0-6_armhf.deb 04-Feb-2017 04:08 333578