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