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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 mpi-default-bin_1.13..> 2018-05-01 22:28  4.6K  
 mpi-default-bin_1.14..> 2021-08-04 17:40  4.6K  
 mpi-default-bin_1.17..> 2024-07-08 09:21  2.3K  
 mpi-default-dev_1.13..> 2018-05-01 22:28  5.3K  
 mpi-default-dev_1.14..> 2021-08-04 17:40  5.4K  
 mpi-default-dev_1.17..> 2024-07-08 09:21  3.1K  
 mpi-defaults_1.13.dsc   2018-05-01 19:58  2.6K  
 mpi-defaults_1.13.ta..> 2018-05-01 19:58  5.2K  
 mpi-defaults_1.14.dsc   2021-08-04 16:55  2.6K  
 mpi-defaults_1.14.ta..> 2021-08-04 16:55  5.3K  
 mpi-defaults_1.17.dsc   2024-07-08 08:55  2.7K  
 mpi-defaults_1.17.ta..> 2024-07-08 08:55  5.5K