{"library":"redex","install":[{"cmd":"brew install redex","imports":[]}]}