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

../
libmrmpi-dev_1.0~20140404-3+b1_x32.deb             28-Mar-2024 03:03    9900
libmrmpi1-dbgsym_1.0~20140404-3+b1_x32.deb         28-Mar-2024 03:03    328K
libmrmpi1_1.0~20140404-3+b1_x32.deb                28-Mar-2024 03:03     62K
mrmpi_1.0~20140404-3+b1_x32.buildinfo              28-Mar-2024 03:03    9180