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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
openmpi-common_5.0.10-5_all.deb	30.4 KiB	21.08.2026 17:19
openmpi-doc_5.0.10-5_all.deb	6.6 MiB	21.08.2026 17:19