{"library":"mpi-default-bin","install":[{"cmd":"apt install mpi-default-bin","imports":[]}]}