{"library":"mina","install":[{"cmd":"apt install mina","imports":[]}]}