Hi I am on MacOS catalina 10.15.6 and am trying to install the K-framework using
brew reinstall kframework
I keep getting the error:
