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