Index of /debian-ports/pool-x32/main/n/normaliz/

../
libnormaliz-dev_3.8.5+ds-1+b2_x32.deb              08-Sep-2020 21:03    938K
libnormaliz3-dbgsym_3.8.5+ds-1+b2_x32.deb          08-Sep-2020 21:03     14M
libnormaliz3_3.8.5+ds-1+b2_x32.deb                 08-Sep-2020 21:03    935K
normaliz-bin-dbgsym_3.8.5+ds-1+b2_x32.deb          08-Sep-2020 21:03    809K
normaliz-bin_3.8.5+ds-1+b2_x32.deb                 08-Sep-2020 21:03     57K
normaliz_3.8.5+ds-1+b2_x32.buildinfo               08-Sep-2020 21:03    6738