Build #2 for tableaux-0.3
| Package | tableaux-0.3 |
|---|
| Install | PlanningFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2023-07-21 20:44:02.966412244 UTC |
|---|---|
| Compiler | ghc-9.2.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Error: cabal: Could not resolve dependencies: [__0] trying: tableaux-0.3 (user goal) [__1] trying: base-4.16.3.0/installed-4.16.3.0 (dependency of tableaux) [__2] next goal: QuickCheck (dependency of tableaux) [__2] rejecting: QuickCheck-2.14.3 (conflict: tableaux => QuickCheck>=2.13.2 && <2.14) [__2] skipping: QuickCheck-2.14.2, QuickCheck-2.14.1, QuickCheck-2.14 (has the same characteristics that caused the previous version to fail: excluded by constraint '>=2.13.2 && <2.14' from 'tableaux') [__2] trying: QuickCheck-2.13.2 [__3] next goal: splitmix (dependency of QuickCheck) [__3] rejecting: splitmix-0.1.0.4 (conflict: QuickCheck => splitmix>=0.0.2 && <0.1) [__3] skipping: splitmix-0.1.0.3, splitmix-0.1.0.2, splitmix-0.1.0.1, splitmix-0.1 (has the same characteristics that caused the previous version to fail: excluded by constraint '>=0.0.2 && <0.1' from 'QuickCheck') [__3] rejecting: splitmix-0.0.5 (conflict: base==4.16.3.0/installed-4.16.3.0, splitmix => base>=4.3 && <4.15) [__3] skipping: splitmix-0.0.4, splitmix-0.0.3, splitmix-0.0.2, splitmix-0.0.1, splitmix-0 (has the same characteristics that caused the previous version to fail: excludes 'base' version 4.16.3.0) [__3] fail (backjumping, conflict set: QuickCheck, base, splitmix) After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: QuickCheck, tableaux, base, splitmix Try running with --minimize-conflict-set to improve the error message.
Test log
No test log was submitted for this report.