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