Frama-c-gui does not install on macOS Ventura

I have tried installing Frama-C through opam on macOS Ventura (13.0.1) for a few days now. I have followed the official installation instructions including the installation of all required tools with brew and setting PKG_CONFIG_PATH. After issuing opam install frama-c Frama-C gets installed, however, whatever I tried frama-c-gui is never available.

When I try

opam uninstall frama-c
opam install frama-c.25.0

everything works perfectly. I have tried it both on an Intel and an M2 MacBookPro. Does anyone have a similar problem?

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information