Build #1 for idris-0.9.14.2
| Package | idris-0.9.14.2 |
|---|
| Install | PlanningFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-06-01 22:28:41.506376 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 (global constraint requires ==0.9.14.2) trying: idris-0.9.14.2 trying: trifecta-1.5.1.3 (dependency of idris-0.9.14.2) trying: reducers-3.10.3.1 (dependency of trifecta-1.5.1.3) trying: keys-3.10.2 (dependency of reducers-3.10.3.1) trying: free-4.12.1 (dependency of keys-3.10.2) trying: profunctors-5.1.1 (dependency of free-4.12.1) trying: bifunctors-5 (dependency of free-4.12.1) next goal: semigroupoids (dependency of reducers-3.10.3.1) rejecting: semigroupoids-5.0.0.1, 5 (conflict: reducers => semigroupoids>=4 && <5) trying: semigroupoids-4.3 trying: parsers-0.12.2.1 (dependency of idris-0.9.14.2) trying: attoparsec-0.13.0.0 (dependency of parsers-0.12.2.1) next goal: lens (dependency of idris-0.9.14.2) rejecting: lens-4.11 (conflict: semigroupoids==4.3, lens => semigroupoids>=5 && <6) rejecting: lens-4.10 (conflict: profunctors==5.1.1, lens => profunctors>=5 && <5.1) rejecting: lens-4.9.1, 4.9, 4.8, 4.7.0.1, 4.7, 4.6.0.1, 4.6, 4.5, 4.4.0.2, 4.4.0.1, 4.4 (conflict: bifunctors==5, lens => bifunctors>=4 && <5) rejecting: lens-4.3.3, 4.3.2, 4.3.1, 4.3, 4.2 (conflict: attoparsec==0.13.0.0, lens => attoparsec>=0.10 && <0.13) rejecting: lens-4.1.2.1, 4.1.2, 4.1.1 (conflict: bifunctors==5, lens => bifunctors>=4 && <5) rejecting: lens-4.1, 4.0.7, 4.0.6, 4.0.5, 4.0.4, 4.0.3, 4.0.2, 4.0.1, 4.0, 3.10.3, 3.10.2, 3.10.1, 3.10.0.1, 3.10, 3.9.2, 3.9.1, 3.9.0.3, 3.9.0.2, 3.9.0.1, 3.9, 3.8.7.3, 3.8.7.2, 3.8.7.1, 3.8.7, 3.8.6, 3.8.5, 3.8.4, 3.8.3, 3.8.2, 3.8.1, 3.8.0.2, 3.8.0.1, 3.8, 3.7.6, 3.7.5, 3.7.4, 3.7.3, 3.7.2, 3.7.1.2, 3.7.1.1, 3.7.1, 3.7.0.2, 3.7.0.1, 3.7, 3.6.0.4, 3.6.0.3, 3.6.0.2, 3.6.0.1, 3.6, 3.5.1, 3.5, 3.4, 3.3, 3.2, 3.1, 3.0.6, 3.0.5, 3.0.4, 3.0.3, 3.0.2, 3.0.1, 3.0, 2.9, 2.8, 2.7.0.1, 2.7, 2.6.1, 2.6, 2.5, 2.4.0.2, 2.4, 2.3, 2.2, 2.1, 2.0, 1.9.1, 1.9, 1.8, 1.7.1, 1.7, 1.6, 1.5, 1.4.1, 1.4, 1.3.1, 1.3, 1.2, 1.1.1, 1.1, 1.0.3, 1.0.2, 1.0.1, 1.0, 0.9, 0.8, 0.7, 0.6, 0.5, 0.4, 0.3, 0.2, 0.1 (conflict: idris => lens>=4.1.1) Backjump limit reached (change with --max-backjumps).
Test log
No test log was submitted for this report.