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