Hackage :: [Package]

Build #4 for idris-0.9.14

[all reports]

Package idris-0.9.14
Install PlanningFailed
Docs NotTried
Tests NotTried
Time submitted 2015-11-22 01:04:56.106383 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
(global constraint requires ==0.9.14)
trying: idris-0.9.14
trying: trifecta-1.5.2 (dependency of idris-0.9.14)
next goal: parsers (dependency of idris-0.9.14)
rejecting: parsers-0.12.3, 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)
Dependency tree exhaustively searched.

Test log

No test log was submitted for this report.