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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]libopenmpi-dev_4.0.5-5_x32.deb2020-09-22 12:03 1.0M
[   ]libopenmpi3-dbgsym_4.0.5-5_x32.deb2020-09-22 12:03 7.9M
[   ]libopenmpi3_4.0.5-5_x32.deb2020-09-22 12:03 1.8M
[   ]openmpi-bin-dbgsym_4.0.5-5_x32.deb2020-09-22 12:03 87K
[   ]openmpi-bin_4.0.5-5_x32.deb2020-09-22 12:03 96K
[   ]openmpi_4.0.5-5_x32.buildinfo2020-09-22 12:03 9.4K

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