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