../ libnormaliz-dev-common_3.6.3+ds-1_all.deb 22-Jul-2020 15:59 30828 libnormaliz-dev_3.6.3+ds-1_armhf.deb 22-Jul-2020 14:44 762060 libnormaliz3_3.6.3+ds-1_armhf.deb 22-Jul-2020 16:01 633616 normaliz-bin_3.6.3+ds-1_armhf.deb 22-Jul-2020 14:57 71188 normaliz-doc_3.6.3+ds-1_all.deb 22-Jul-2020 15:36 748892 normaliz_3.6.3+ds-1_armhf.deb 22-Jul-2020 16:48 6584