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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
openmpi-doc_5.0.8-10_all.deb	8.1 MiB	18.09.2025 15:37
openmpi-common_5.0.8-10_all.deb	95.2 KiB	18.09.2025 15:37