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

[ICO]NameLast modifiedSize

[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

Apache Server at ftp.ports.debian.org Port 80