Hi there, Recently I wanted to install the cvc5 package. It depends on conf-python3-pyparsing, which is marked as != macos. I tried to see why this is, and it seems to be because it (naturally) requires the pyparsing library to be installed. Currently I believe opam external dependencies on macOS are managed with homebrew, however homebrew does not have this python package. I tried to contribute this package to homebrew, however they no longer support python packages in general. Should the wa...
