Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: uAgda (user goal)
rejecting: uAgda-1.2.0.4, 1.2.0.3, 1.2.0.2, 1.2.0.1, 1.2.0.0, 1.1.0.0 (global
constraint requires ==1.0.0.2)
trying: uAgda-1.0.0.2
next goal: monads-fd (dependency of uAgda-1.0.0.2)
rejecting: monads-fd-0.2.0.0 (conflict: uAgda => monads-fd==0.1.*)
rejecting: monads-fd-0.1.0.4 (conflict: base==4.7.0.1/installed-e4b...,
monads-fd => base<4.6)
trying: monads-fd-0.1.0.3
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.3.0.0/installed-16a..., 0.4.3.0, 0.4.2.0, 0.4.1.0,
0.4.0.0, 0.3.0.0 (conflict: uAgda => transformers==0.2.*)
rejecting: transformers-0.2.2.1, 0.2.2.0, 0.2.1.0, 0.2.0.0 (conflict: mtl =>
transformers==0.4.*)
rejecting: transformers-0.1.4.0, 0.1.3.0, 0.1.1.0, 0.1.0.1, 0.1.0.0, 0.0.1.0,
0.0.0.0 (conflict: uAgda => transformers==0.2.*)
Dependency tree exhaustively searched.