Build #2 for idris-0.10.1
| Package | idris-0.10.1 |
|---|
| Install | PlanningFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-11-27 20:44:00.461532 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| 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: next goal: idris (user goal) rejecting: idris-0.12.3, idris-0.12.2, idris-0.12.1, idris-0.12, idris-0.11.2, idris-0.11.1, idris-0.11, idris-0.10.3, idris-0.10.2 (constraint from user target requires ==0.10.1) trying: idris-0.10.1 trying: base-4.9.0.0/installed-4.9... (dependency of idris-0.10.1) next goal: primitive (dependency of vector-0.11.0.0) rejecting: primitive-0.6.2.0 (conflict: vector => primitive>=0.5.0.1 && <0.6.2) trying: primitive-0.6.1.0 trying: transformers-compat-0.5.1.4 (dependency of idris-0.10.1) trying: transformers-compat-0.5.1.4:-two trying: transformers-compat-0.5.1.4:+mtl trying: transformers-compat-0.5.1.4:-three next goal: transformers (dependency of idris-0.10.1) rejecting: transformers-0.5.2.0/installed-0.5..., transformers-0.5.2.0, transformers-0.5.1.0, transformers-0.5.0.1, transformers-0.5.0.0 (conflict: idris => transformers<0.5) rejecting: transformers-0.4.3.0, transformers-0.4.2.0 (conflict: base==4.9.0.0/installed-4.9..., transformers => base>=2 && <4.9) rejecting: transformers-0.4.1.0 (conflict: base==4.9.0.0/installed-4.9..., transformers => base>=2 && <4.8 || >=1.0 && <2) rejecting: transformers-0.3.0.0 (conflict: transformers-compat-0.5.1.4:three => transformers>=0.2 && <0.3 || >=0.4.1 && <0.6) rejecting: transformers-0.2.2.1, transformers-0.2.1.0, transformers-0.2.0.0 (conflict: transformers-compat-0.5.1.4:three => transformers>=0.4.1 && <0.6) rejecting: transformers-0.1.4.0, transformers-0.1.3.0, transformers-0.1.1.0, transformers-0.1.0.1, transformers-0.0.1.0, transformers-0.0.0.0 (conflict: primitive => transformers>=0.2 && <0.6) rejecting: transformers-0.5.0.2 (conflict: idris => transformers<0.5) rejecting: transformers-0.4.0.0 (conflict: transformers-compat => transformers>=0.3 && <0.4 || >=0.2 && <0.3 || >=0.4.1 && <0.6) rejecting: transformers-0.2.2.0 (conflict: transformers-compat-0.5.1.4:three => transformers>=0.4.1 && <0.6) rejecting: transformers-0.1.0.0 (conflict: primitive => transformers>=0.2 && <0.6) Backjump limit reached (currently 2000, change with --max-backjumps or try to run with --reorder-goals).
Test log
No test log was submitted for this report.