/pool/main/o/openmpi/

0 directories 5 files
Name Size Modified
Go up — —
libopenmpi-dev_5.0.7-1_amd64.deb 1.0 MiB
libopenmpi40_5.0.7-1_amd64.deb 2.3 MiB
openmpi-bin_5.0.7-1_amd64.deb 184 KiB
openmpi-common_5.0.7-1_all.deb 95 KiB
openmpi-doc_5.0.7-1_all.deb 8.1 MiB