../ healpix-cxx_3.30.0-2.debian.tar.xz 30-May-2016 15:35 4568 healpix-cxx_3.30.0-2.dsc 30-May-2016 15:35 2208 healpix-cxx_3.30.0.orig.tar.gz 22-May-2016 10:23 507035 libhealpix-cxx-dev_3.30.0-2_armhf.deb 07-Jun-2016 16:08 8474640 libhealpix-cxx0-dbg_3.30.0-2_armhf.deb 07-Jun-2016 16:08 1366940 libhealpix-cxx0_3.30.0-2_armhf.deb 07-Jun-2016 16:08 333050