Resolving dependencies...
Starting     ogma-language-smv-1.7.0
Failed to install ogma-language-smv-1.7.0
Build log ( /home/builder/.cabal/logs/ghc-9.6.3/ogma-language-smv-1.7.0-F3uTmAREJdVHmA5SspjF59.log ):
cabal: Entering directory '/tmp/cabal-tmp-2660657/ogma-language-smv-1.7.0'
[1 of 2] Compiling Main             ( /tmp/cabal-tmp-2660657/ogma-language-smv-1.7.0/dist/setup/setup.hs, /tmp/cabal-tmp-2660657/ogma-language-smv-1.7.0/dist/setup/Main.o )
[2 of 2] Linking /tmp/cabal-tmp-2660657/ogma-language-smv-1.7.0/dist/setup/setup
Configuring ogma-language-smv-1.7.0...
Error: setup: The program 'bnfc' version >=2.9.4 is required but it could not
be found.

cabal: Leaving directory '/tmp/cabal-tmp-2660657/ogma-language-smv-1.7.0'
Error: cabal: Some packages failed to install:
ogma-language-smv-1.7.0-F3uTmAREJdVHmA5SspjF59 failed during the configure
step. The exception was:
ExitFailure 1