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