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