Resolving dependencies...
cabal: Could not resolve dependencies:
trying: nanoAgda-1.0.0 (user goal)
trying: base-4.8.1.0/installed-4f7... (dependency of nanoAgda-1.0.0)
next goal: BNFC-meta (dependency of nanoAgda-1.0.0)
rejecting: BNFC-meta-0.4.0.3, 0.4.0.2, 0.4.0.1, 0.4 (conflict: nanoAgda =>
BNFC-meta==0.3.*)
trying: BNFC-meta-0.3.0.5
trying: syb-0.6 (dependency of BNFC-meta-0.3.0.5)
trying: alex-meta-0.3.0.8 (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.10 (conflict: syb==0.6, haskell-src-meta =>
syb>=0.1 && <0.6)
rejecting: haskell-src-meta-0.6.0.9 (conflict: syb==0.6, haskell-src-meta =>
syb>=0.1 && <0.5)
rejecting: haskell-src-meta-0.6.0.8, 0.6.0.7 (conflict:
base==4.8.1.0/installed-4f7..., haskell-src-meta => base>=4.2 && <4.8)
rejecting: haskell-src-meta-0.6.0.6 (conflict: base==4.8.1.0/installed-4f7...,
haskell-src-meta => base<0)
rejecting: haskell-src-meta-0.6.0.5, 0.6.0.4, 0.6.0.3 (conflict:
base==4.8.1.0/installed-4f7..., haskell-src-meta => base>=4.2 && <4.8)
rejecting: haskell-src-meta-0.6.0.2, 0.6.0.1, 0.6 (conflict:
base==4.8.1.0/installed-4f7..., haskell-src-meta => base>=4.2 && <4.7)
rejecting: haskell-src-meta-0.5.1.2 (conflict: base==4.8.1.0/installed-4f7...,
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.