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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libopenmpi-dev_4.1.6-13.3_sh4.deb2024-05-06 18:03 1.0M 
[ ]libopenmpi3t64-dbgsym_4.1.6-13.3_sh4.deb2024-05-06 18:03 15M 
[ ]libopenmpi3t64_4.1.6-13.3_sh4.deb2024-05-06 18:03 2.5M 
[ ]openmpi-bin-dbgsym_4.1.6-13.3_sh4.deb2024-05-06 18:03 106K 
[ ]openmpi-bin_4.1.6-13.3_sh4.deb2024-05-06 18:03 195K 
[ ]openmpi_4.1.6-13.3_sh4.buildinfo2024-05-06 18:03 11K