Build #3 for idris-0.9.10.1
| Package | idris-0.9.10.1 |
|---|
| Install | PlanningFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-10-15 02:32:34.201093 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.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 (global constraint requires ==0.9.10.1) trying: idris-0.9.10.1 trying: deepseq-1.4.1.1/installed-8fb... (dependency of idris-0.9.10.1) next goal: trifecta (dependency of idris-0.9.10.1) rejecting: trifecta-1.5.2, 1.5.1.3, 1.5.1.2, 1.5.1.1, 1.5.1, 1.5, 1.4.3, 1.4.2, 1.4.1, 1.4, 1.2.1.1, 1.2.1, 1.2 (conflict: idris => trifecta==1.1) rejecting: trifecta-1.1 (conflict: deepseq => array==0.5.1.0/installed-d42..., trifecta => array>=0.3.0.2 && <0.5) rejecting: trifecta-1.0, 0.53, 0.52, 0.51.0.1, 0.51, 0.50.2.1, 0.50.1, 0.50, 0.49.1, 0.49, 0.47, 0.46, 0.45, 0.44, 0.43, 0.42, 0.41, 0.40, 0.39, 0.38, 0.37, 0.36.3, 0.36.2, 0.36.1, 0.36, 0.35, 0.34, 0.32.1, 0.32, 0.31, 0.30, 0.29, 0.28, 0.27, 0.26, 0.25, 0.24, 0.23, 0.22, 0.21, 0.20, 0.19, 0.18, 0.17, 0.16.1, 0.16, 0.15.1, 0.15, 0.14, 0.13, 0.12, 0.11, 0.10, 0.9, 0.8.0.1, 0.8, 0.7.2, 0.7.1, 0.7, 0.6, 0.5.1, 0.5, 0.4, 0.3, 0.2, 0.1 (conflict: idris => trifecta==1.1) Dependency tree exhaustively searched.
Test log
No test log was submitted for this report.