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

../
openmpi-common_5.0.5-6_all.deb                     16-Nov-2024 10:00               94960
openmpi-common_5.0.6-3_all.deb                     02-Dec-2024 15:47               97040
openmpi-doc_5.0.5-6_all.deb                        16-Nov-2024 10:00             8511936
openmpi-doc_5.0.6-3_all.deb                        02-Dec-2024 15:47             8515156