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