{"library":"rocq-elpi","install":[{"cmd":"brew install rocq-elpi","imports":[]}]}