{"library":"proof-general","install":[{"cmd":"brew install proof-general","imports":[]}]}