../ libnormaliz0-dbg_3.1.1+ds-1_armhf.deb 24-May-2016 11:38 4113340 libnormaliz0-dev-common_3.1.1+ds-1_all.deb 12-Apr-2016 03:59 19310 libnormaliz0-dev_3.1.1+ds-1_armhf.deb 24-May-2016 11:38 487432 libnormaliz0_3.1.1+ds-1_armhf.deb 24-May-2016 11:38 400830 normaliz-bin_3.1.1+ds-1_armhf.deb 24-May-2016 11:38 62212 normaliz-doc_3.1.1+ds-1_all.deb 12-Apr-2016 03:59 561626 normaliz_3.1.1+ds-1_armhf.deb 24-May-2016 11:38 3816