../ libnormaliz-dev-common_3.8.3+ds-2build1_all.deb 22-Mar-2020 18:10 36K libnormaliz-dev_3.8.3+ds-2build1_arm64.deb 22-Mar-2020 21:28 1M libnormaliz3_3.8.3+ds-2build1_arm64.deb 22-Mar-2020 21:28 1M normaliz-bin_3.8.3+ds-2build1_arm64.deb 22-Mar-2020 21:28 73K normaliz-doc_3.8.3+ds-2build1_all.deb 22-Mar-2020 18:10 780K normaliz_3.8.3+ds-2build1_arm64.deb 22-Mar-2020 21:28 2268