Build #6 for uAgda-1.0.0.2

[all reports]

Package uAgda-1.0.0.2
Install PlanningFailed
Docs NotTried
Tests NotTried
Time submitted 2016-12-28 18:56:16.741505 UTC
Compiler ghc-8.0.1.20161018
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: uAgda (user goal)
rejecting: uAgda-1.2.0.4, uAgda-1.2.0.3, uAgda-1.2.0.2, uAgda-1.2.0.1,
uAgda-1.2.0.0, uAgda-1.1.0.0 (constraint from user target requires ==1.0.0.2)
trying: uAgda-1.0.0.2
trying: mtl-2.2.1 (dependency of monads-fd-0.1.0.3)
next goal: transformers (dependency of uAgda-1.0.0.2)
rejecting: transformers-0.5.2.0/installed-0.5..., transformers-0.5.2.0,
transformers-0.5.1.0, transformers-0.5.0.1, transformers-0.5.0.0,
transformers-0.4.3.0, transformers-0.4.2.0, transformers-0.4.1.0,
transformers-0.3.0.0 (conflict: uAgda => transformers==0.2.*)
rejecting: transformers-0.2.2.1, transformers-0.2.1.0, transformers-0.2.0.0
(conflict: mtl => transformers>=0.4 && <0.6)
rejecting: transformers-0.1.4.0, transformers-0.1.3.0, transformers-0.1.1.0,
transformers-0.1.0.1, transformers-0.0.1.0, transformers-0.0.0.0,
transformers-0.5.0.2, transformers-0.4.0.0 (conflict: uAgda =>
transformers==0.2.*)
rejecting: transformers-0.2.2.0 (conflict: mtl => transformers>=0.4 && <0.6)
rejecting: transformers-0.1.0.0 (conflict: uAgda => transformers==0.2.*)
Dependency tree exhaustively searched.

Test log

No test log was submitted for this report.