Index of /ubuntu-ports/pool/universe/m/mpi-defaults

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]mpi-default-bin_1.20_arm64.deb2026-01-08 01:02 2.6K
[ ]mpi-default-dev_1.20_arm64.deb2026-01-08 01:02 3.4K
Apache/2.4.66 (Ubuntu) Server at repo.empctrl.com Port 80