../ libnormaliz-dev-common_3.6.3+ds-1_all.deb 21-Aug-2018 17:43 30828 libnormaliz-dev_3.6.3+ds-1_amd64.deb 21-Aug-2018 17:33 708148 libnormaliz3_3.6.3+ds-1_amd64.deb 21-Aug-2018 17:33 710000 normaliz-bin_3.6.3+ds-1_amd64.deb 21-Aug-2018 17:33 84120 normaliz-doc_3.6.3+ds-1_all.deb 21-Aug-2018 17:43 748892 normaliz_3.6.3+ds-1_amd64.deb 21-Aug-2018 17:33 6584