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