Resolving dependencies...
Error: cabal: Could not resolve dependencies:
[__0] trying: LPPaver-0.0.5.0 (user goal)
[__1] trying: base-4.16.3.0/installed-4.16.3.0 (dependency of LPPaver)
[__2] trying: PropaFP-0.1.2.0 (dependency of LPPaver)
[__3] next goal: ghc (dependency of PropaFP)
[__3] rejecting: ghc-9.2.4/installed-9.2.4 (conflict: PropaFP => ghc>=9.0.2 &&
<9.1)
[__3] skipping: ghc-9.6.1, ghc-9.4.4, ghc-9.4.3, ghc-9.4.2, ghc-9.4.1,
ghc-9.2.7, ghc-9.2.6, ghc-9.2.5, ghc-9.2.4, ghc-9.2.3, ghc-9.2.2, ghc-9.2.1
(has the same characteristics that caused the previous version to fail:
excluded by constraint '>=9.0.2 && <9.1' from 'PropaFP')
[__3] rejecting: ghc-9.0.2 (conflict: base==4.16.3.0/installed-4.16.3.0, ghc
=> base>=4.11 && <4.16)
[__3] skipping: ghc-8.10.7, ghc-8.10.2, ghc-8.10.1, ghc-8.8.3, ghc-8.8.1,
ghc-8.6.5, ghc-8.6.4, ghc-8.6.1, ghc-8.4.4, ghc-8.4.3, ghc-8.4.1, ghc-8.2.2,
ghc-8.2.1 (has the same characteristics that caused the previous version to
fail: excludes 'base' version 4.16.3.0)
[__3] rejecting: ghc-9.2.3.20220620 (conflict: PropaFP => ghc>=9.0.2 && <9.1)
[__3] fail (backjumping, conflict set: PropaFP, base, ghc)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: base, ghc, PropaFP, LPPaver
Try running with --minimize-conflict-set to improve the error message.