Build #5 for idris-0.1.5
| Package | idris-0.1.5 |
|---|
| Install | PlanningFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-11-22 01:49:10.258929 UTC |
|---|---|
| Compiler | ghc-7.10.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: next goal: idris (user goal) rejecting: idris-0.9.20.1, 0.9.20, 0.9.19.1, 0.9.19, 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, 0.9.14, 0.9.13.1, 0.9.13, 0.9.12, 0.9.11.2, 0.9.11.1, 0.9.11, 0.9.10.1, 0.9.10, 0.9.9.3, 0.9.9.2, 0.9.9.1, 0.9.9, 0.9.8, 0.9.7, 0.9.6.1, 0.9.6, 0.9.5.1, 0.9.5, 0.9.4.1, 0.9.4, 0.9.3.1, 0.9.3, 0.9.2.1, 0.9.2, 0.9.1, 0.9.0, 0.1.7.1, 0.1.7 (global constraint requires ==0.1.5) trying: idris-0.1.5 trying: base-4.8.1.0/installed-4f7... (dependency of idris-0.1.5) trying: Cabal-1.22.4.0/installed-43c... (dependency of idris-0.1.5) next goal: haskell98 (dependency of idris-0.1.5) rejecting: haskell98-2.0.0.3 (conflict: base==4.8.1.0/installed-4f7..., haskell98 => base>=4.7 && <4.8) rejecting: haskell98-2.0.0.2 (conflict: base==4.8.1.0/installed-4f7..., haskell98 => base==4.6.*) rejecting: haskell98-2.0.0.1, 2.0.0.0 (conflict: Cabal => directory==1.2.2.0/installed-258..., haskell98 => directory>=1.1 && <1.2) rejecting: haskell98-1.1.0.1, 1.1.0.0, 1.0.1.1 (conflict: base==4.8.1.0/installed-4f7..., haskell98 => base>=3 && <4.6) rejecting: haskell98-1.0.1.0 (conflict: base==4.8.1.0/installed-4f7..., haskell98 => base<4.6) rejecting: haskell98-1.0 (conflict: base==4.8.1.0/installed-4f7..., haskell98 => base<4.3) Backjump limit reached (change with --max-backjumps).
Test log
No test log was submitted for this report.