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