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


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