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

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
openmpi-common_5.0.10-1_all.deb	29.6 KiB	2026-Mar-03 16:41
openmpi-doc_5.0.10-1_all.deb	2.8 MiB	2026-Mar-03 16:41