Index of /debian-ports/pool-x32/main/m/mrmpi/

../
libmrmpi-dev_1.0~20140404-3+b2_x32.deb                                                                                   08-Jul-2024 12:03    9912
libmrmpi1-dbgsym_1.0~20140404-3+b2_x32.deb                                                                               08-Jul-2024 12:03    131K
libmrmpi1_1.0~20140404-3+b2_x32.deb                                                                                      08-Jul-2024 12:03     49K
mrmpi_1.0~20140404-3+b2_x32.buildinfo                                                                                    08-Jul-2024 12:03    7643