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 (global constraint
requires ==1.2.0.0)
trying: uAgda-1.2.0.0
trying: base-4.7.0.1/installed-e4b... (dependency of uAgda-1.2.0.0)
next goal: BNFC-meta (dependency of uAgda-1.2.0.0)
rejecting: BNFC-meta-0.4.0.2, 0.4.0.1, 0.4 (conflict: uAgda =>
BNFC-meta==0.3.*)
trying: BNFC-meta-0.3.0.5
trying: syb-0.5.1 (dependency of BNFC-meta-0.3.0.5)
trying: alex-meta-0.3.0.7 (dependency of BNFC-meta-0.3.0.5)
next goal: haskell-src-meta (dependency of BNFC-meta-0.3.0.5)
rejecting: haskell-src-meta-0.6.0.9, 0.6.0.8, 0.6.0.7, 0.6.0.6, 0.6.0.5,
0.6.0.4, 0.6.0.3 (conflict: syb==0.5.1, haskell-src-meta => syb>=0.1 && <0.5)
rejecting: haskell-src-meta-0.6.0.2, 0.6.0.1, 0.6 (conflict:
base==4.7.0.1/installed-e4b..., haskell-src-meta => base>=4.2 && <4.7)
rejecting: haskell-src-meta-0.5.1.2 (conflict: base==4.7.0.1/installed-e4b...,
haskell-src-meta => base>=4.2 && <4.6)
rejecting: haskell-src-meta-0.5.1.1, 0.5.1, 0.5.0.3, 0.5.0.2, 0.5 (conflict:
alex-meta => haskell-src-meta>=0.5.1.2 && <1.0)
rejecting: haskell-src-meta-0.4.0.2, 0.4.0.1, 0.4, 0.3, 0.2, 0.1.1, 0.1.0,
0.0.6, 0.0.5, 0.0.4, 0.0.3.1, 0.0.3, 0.0.2, 0.0.1, 0.0.0 (conflict: BNFC-meta
=> haskell-src-meta>=0.5 && <1.0)
Dependency tree exhaustively searched.