Resolving dependencies...
cabal: Could not resolve dependencies:
[__0] trying: hevm-0.41.0 (user goal)
[__1] next goal: sbv (dependency of hevm)
[__1] rejecting: sbv-8.7 (conflict: hevm => sbv>=8.7.5 && <8.8)
[__1] skipping: sbv-8.6, sbv-8.5, sbv-8.4, sbv-8.3, sbv-8.2, sbv-8.1, sbv-8.0,
sbv-7.13, sbv-7.12, sbv-7.11, sbv-7.10, sbv-7.9, sbv-7.8, sbv-7.7, sbv-7.6,
sbv-7.5, sbv-7.4, sbv-7.3, sbv-7.2, sbv-7.1, sbv-7.0, sbv-6.1, sbv-6.0,
sbv-5.15, sbv-5.14, sbv-5.13, sbv-5.12, sbv-5.11, sbv-5.10, sbv-5.9, sbv-5.8,
sbv-5.7, sbv-5.6, sbv-5.5, sbv-5.4, sbv-5.3, sbv-5.2, sbv-5.1, sbv-5.0,
sbv-4.4, sbv-4.3, sbv-4.2, sbv-4.1, sbv-4.0, sbv-3.5, sbv-3.4, sbv-3.3,
sbv-3.2, sbv-3.1, sbv-3.0, sbv-2.10, sbv-2.9, sbv-2.8, sbv-2.7, sbv-2.6,
sbv-2.5, sbv-2.4, sbv-2.3, sbv-2.2, sbv-2.1, sbv-2.0, sbv-1.4, sbv-1.3,
sbv-1.2, sbv-1.1, sbv-1.0, sbv-0.9.24, sbv-0.9.23, sbv-0.9.22, sbv-0.9.21,
sbv-0.9.20, sbv-0.9.19, sbv-0.9.18, sbv-0.9.17, sbv-0.9.16, sbv-0.9.15,
sbv-0.9.14, sbv-0.9.13, sbv-0.9.12, sbv-0.9.11, sbv-0.9.10, sbv-0.9.9,
sbv-0.9.8, sbv-0.9.7, sbv-0.9.6, sbv-0.9.5, sbv-0.9.4, sbv-0.9.3, sbv-0.9.2,
sbv-0.9.1, sbv-0.9 (has the same characteristics that caused the previous
version to fail: excluded by constraint '>=8.7.5 && <8.8' from 'hevm')
[__1] fail (backjumping, conflict set: hevm, sbv)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: hevm, sbv