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