Build #3 for hevm-0.41.0
| Package | hevm-0.41.0 |
|---|
| Install | PlanningFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2020-08-19 11:43:16.304432917 UTC |
|---|---|
| Compiler | ghc-8.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.