../ libnormaliz-dev_3.10.3+ds-1_m68k.deb 30-May-2024 21:03 2M libnormaliz3-dbgsym_3.10.3+ds-1_m68k.deb 30-May-2024 21:03 24M libnormaliz3_3.10.3+ds-1_m68k.deb 30-May-2024 21:03 2M normaliz-bin_3.10.3+ds-1_m68k.deb 30-May-2024 21:03 43K normaliz_3.10.3+ds-1_m68k.buildinfo 30-May-2024 21:03 6572