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