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              133672
libmrmpi1_1.0~20140404-3+b2_x32.deb                08-Jul-2024 12:03               50220
mrmpi_1.0~20140404-3+b2_x32.buildinfo              08-Jul-2024 12:03                7643