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

../
libnormaliz-dev_3.8.5+ds-1+b2_x32.deb              08-Sep-2020 12:03              960376
libnormaliz3-dbgsym_3.8.5+ds-1+b2_x32.deb          08-Sep-2020 12:03            14776472
libnormaliz3_3.8.5+ds-1+b2_x32.deb                 08-Sep-2020 12:03              957016
normaliz-bin-dbgsym_3.8.5+ds-1+b2_x32.deb          08-Sep-2020 12:03              828320
normaliz-bin_3.8.5+ds-1+b2_x32.deb                 08-Sep-2020 12:03               58628
normaliz_3.8.5+ds-1+b2_x32.buildinfo               08-Sep-2020 12:03                6738