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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
openmpi-common_5.0.10-1_all.deb	29.6 KiB	03.03.2026 07:41
openmpi-doc_5.0.10-1_all.deb	2.8 MiB	03.03.2026 07:41