Index of /debian-ports/pool-ia64/main/o/openmpi/


../
libopenmpi-dev_4.0.4-2_ia64.deb                    16-Jul-2020 00:03             1247216
libopenmpi3-dbgsym_4.0.4-2_ia64.deb                16-Jul-2020 00:03            11179868
libopenmpi3_4.0.4-2_ia64.deb                       16-Jul-2020 00:03             2339260
openmpi-bin-dbgsym_4.0.4-2_ia64.deb                16-Jul-2020 00:03              107560
openmpi-bin_4.0.4-2_ia64.deb                       16-Jul-2020 00:03              194272
openmpi_4.0.4-2_ia64.buildinfo                     16-Jul-2020 00:03                9683