Index of /debian-ports/pool-x32/main/m/mpi-defaults/

../
mpi-default-bin_1.15_x32.deb                                                                                             07-Nov-2023 00:03    2408
mpi-default-bin_1.16_x32.deb                                                                                             25-Feb-2024 18:03    2444
mpi-default-dev_1.15_x32.deb                                                                                             07-Nov-2023 00:03    3152
mpi-default-dev_1.16_x32.deb                                                                                             25-Feb-2024 18:03    3224
mpi-defaults_1.15_x32.buildinfo                                                                                          07-Nov-2023 00:03    7327
mpi-defaults_1.16_x32.buildinfo                                                                                          25-Feb-2024 18:03    6573