Index of /debian-ports/pool-x32/main/m/mpi-defaults

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mpi-default-bin_1.18_x32.deb2024-12-25 02:03 2.5K 
[ ]mpi-default-bin_1.19_x32.deb2025-09-24 20:03 2.6K 
[ ]mpi-default-dev_1.18_x32.deb2024-12-25 02:03 3.3K 
[ ]mpi-default-dev_1.19_x32.deb2025-09-24 20:03 3.4K 
[ ]mpi-defaults_1.18_x32.buildinfo2024-12-25 02:03 6.1K 
[ ]mpi-defaults_1.19_x32.buildinfo2025-09-24 20:03 6.2K