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