{"library":"dctrl-tools","install":[{"cmd":"apt install dctrl-tools","imports":[]}]}