Build #3 for hol-1.2
| Package | hol-1.2 |
|---|
| Install | PlanningFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2017-10-03 05:58:50.146232515 UTC |
|---|---|
| Compiler | ghc-8.0.2 |
| 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: trying: hol-1.2 (user goal) trying: base-4.9.1.0/installed-4.9... (dependency of hol-1.2) next goal: QuickCheck (dependency of hol-1.2) rejecting: QuickCheck-2.10.0.1, QuickCheck-2.10, QuickCheck-2.9.2, QuickCheck-2.9.1, QuickCheck-2.9, QuickCheck-2.8.2, QuickCheck-2.8.1, QuickCheck-2.8, QuickCheck-2.7.6, QuickCheck-2.7.5, QuickCheck-2.7.4, QuickCheck-2.7.3, QuickCheck-2.7.2, QuickCheck-2.7.1, QuickCheck-2.7, QuickCheck-2.6, QuickCheck-2.5.1.1, QuickCheck-2.5.1, QuickCheck-2.5 (conflict: hol => QuickCheck>=2.4 && <2.5) rejecting: QuickCheck-2.4.2 (conflict: base==4.9.1.0/installed-4.9..., QuickCheck => base>=4 && <4.8 || >=3 && <4 || <3) rejecting: QuickCheck-2.4.1.1, QuickCheck-2.4.1, QuickCheck-2.4.0.1, QuickCheck-2.4 (conflict: base==4.9.1.0/installed-4.9..., QuickCheck => base>=4 && <4.5 || >=3 && <4 || <3) rejecting: QuickCheck-2.3.0.2, QuickCheck-2.3.0.1, QuickCheck-2.3, QuickCheck-2.2, QuickCheck-2.1.2, QuickCheck-2.1.1.1, QuickCheck-2.1.1, QuickCheck-2.1.0.3, QuickCheck-2.1.0.2, QuickCheck-2.1.0.1, QuickCheck-2.1, QuickCheck-1.2.0.1, QuickCheck-1.2.0.0, QuickCheck-1.1.0.0, QuickCheck-1.0 (conflict: hol => QuickCheck>=2.4 && <2.5) Dependency tree exhaustively searched.
Test log
No test log was submitted for this report.