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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
openmpi-common_5.0.9-1_all.deb	95.3 KiB	12.11.2025 11:26
openmpi-doc_5.0.9-1_all.deb	8.2 MiB	12.11.2025 11:26