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