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