Resolving dependencies...
Starting     hls-tactics-plugin-2.0.0.1
Building     hls-tactics-plugin-2.0.0.1
Failed to install hls-tactics-plugin-2.0.0.1
Build log ( /home/builder/.cabal/logs/ghc-9.2.4/hls-tactics-plugin-2.0.0.1-G1XGA2lJ7GkFMq6ZRgOrRK.log ):
cabal: Entering directory '/tmp/cabal-tmp-2384372/hls-tactics-plugin-2.0.0.1'
Configuring hls-tactics-plugin-2.0.0.1...
Building hls-tactics-plugin-2.0.0.1...
Warning: No documentation was generated as this package does not contain a
library. Perhaps you want to use the --executables, --tests, --benchmarks or
--foreign-libraries flags.
Error: cabal-3.8.1.0: No executables and no library found. Nothing to do.

cabal: Leaving directory '/tmp/cabal-tmp-2384372/hls-tactics-plugin-2.0.0.1'
Error: cabal: Some packages failed to install:
hls-tactics-plugin-2.0.0.1-G1XGA2lJ7GkFMq6ZRgOrRK failed during the final
install step. The exception was:
ExitFailure 1