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