Build #1 for idris-0.9.14
Package | idris-0.9.14 |
---|
Install | PlanningFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2015-06-01 22:29:41.392389 UTC |
---|---|
Compiler | ghc-7.8.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: next goal: idris (user goal) rejecting: idris-0.9.18.1, 0.9.18, 0.9.17.1, 0.9.17, 0.9.16, 0.9.15.1, 0.9.15, 0.9.14.3, 0.9.14.2, 0.9.14.1 (global constraint requires ==0.9.14) trying: idris-0.9.14 trying: trifecta-1.5.1.3 (dependency of idris-0.9.14) next goal: parsers (dependency of idris-0.9.14) rejecting: parsers-0.12.2.1, 0.12.1.1, 0.12.1, 0.12, 0.11.0.3, 0.11.0.2 (conflict: idris => parsers>=0.9 && <0.11.0.2) rejecting: parsers-0.11.0.1, 0.11, 0.10.3, 0.10.2, 0.10.1.2, 0.10.1.1, 0.10.1, 0.10, 0.9 (conflict: trifecta => parsers>=0.12.1 && <1) rejecting: parsers-0.8.3, 0.8.2, 0.8.1, 0.8, 0.7.1, 0.7, 0.6, 0.5.2, 0.5, 0.4.1, 0.4, 0.3.2, 0.3, 0.2, 0.1 (conflict: idris => parsers>=0.9 && <0.11.0.2) Backjump limit reached (change with --max-backjumps).
Test log
No test log was submitted for this report.