{"library":"krb5-user","install":[{"cmd":"apt install krb5-user","imports":[]}]}