../ libnormaliz-dev-common_3.8.9+ds-0.1_all.deb 12-Oct-2020 11:23 48304 libnormaliz-dev_3.8.9+ds-0.1_armhf.deb 22-Oct-2020 21:07 1527780 libnormaliz3_3.8.9+ds-0.1_armhf.deb 22-Oct-2020 21:07 1143740 normaliz-bin_3.8.9+ds-0.1_armhf.deb 22-Oct-2020 21:07 36132 normaliz-doc_3.8.9+ds-0.1_all.deb 12-Oct-2020 11:23 836044 normaliz_3.8.9+ds-0.1_all.deb 12-Oct-2020 11:23 8056