/debian-ports/pool-x32/main/m/mpi-defaults/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
mpi-defaults_1.20_x32.buildinfo
6.3 KiB
2026-Jan-08 03:03
mpi-default-bin_1.20_x32.deb
2.7 KiB
2026-Jan-08 03:03
mpi-default-dev_1.20_x32.deb
3.4 KiB
2026-Jan-08 03:03
