Could not determine Stack target for file `/Users/<pathtoproject>/tamarin-prover/Setup.hs` because no accompanying `hs-source-dirs` or `main-is` can be found in Cabal file(s)
Hoogle features can be enabled by menu option `Haskell`/`(Re)Build Hoogle database`
Where can I find logs to send you more information?
Hi, I have the same problem as in #572 which is a unavailable, grey
(Re)Build Hoogle Database
ButtonI get two messages, not sure if connected:
Where can I find logs to send you more information?
Best, Philip