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

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