Build #2 for ghc-proofs-0.1
| Package | ghc-proofs-0.1 |
|---|
| Install | PlanningFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2017-08-26 09:27:20.305436843 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: ghc-proofs-0.1 (user goal) next goal: ghc (dependency of ghc-proofs-0.1) rejecting: ghc-8.0.2/installed-8.0... (conflict: ghc-proofs => ghc>=8.2 && <8.4) Dependency tree exhaustively searched.
Test log
No test log was submitted for this report.