Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: uAgda (user goal)
rejecting: uAgda-1.2.0.4, 1.2.0.3 (global constraint requires ==1.2.0.2)
trying: uAgda-1.2.0.2
next goal: BNFC-meta (dependency of uAgda-1.2.0.2)
rejecting: BNFC-meta-0.4.0.3, 0.4.0.2, 0.4.0.1, 0.4, 0.3.0.5, 0.3.0.4,
0.3.0.3, 0.3.0.2, 0.3.0.1, 0.3 (conflict: uAgda => BNFC-meta==0.2.*)
trying: BNFC-meta-0.2.2
trying: haskell-src-meta-0.6.0.12 (dependency of BNFC-meta-0.2.2)
next goal: haskell-src-exts (dependency of haskell-src-meta-0.6.0.12)
rejecting: haskell-src-exts-1.17.0 (conflict: haskell-src-meta =>
haskell-src-exts==1.16.*)
trying: haskell-src-exts-1.16.0.1
trying: cpphs-1.19.3 (dependency of haskell-src-exts-1.16.0.1)
trying: polyparse-1.11 (dependency of cpphs-1.19.3)
next goal: bytestring (dependency of polyparse-1.11)
rejecting: bytestring-0.10.6.0/installed-236... (conflict: deepseq==1.4.1.2,
bytestring => deepseq==1.4.1.1/installed-8fb...)
trying: bytestring-0.10.6.0
trying: directory-1.2.2.0/installed-258... (dependency of cpphs-1.19.3)
next goal: unix (dependency of directory-1.2.2.0/installed-258...)
rejecting: unix-2.7.1.0/installed-643... (conflict: bytestring==0.10.6.0, unix
=> bytestring==0.10.6.0/installed-236...)
rejecting: unix-2.7.1.0, 2.7.0.1, 2.7.0.0, 2.6.0.1, 2.6.0.0, 2.5.1.1, 2.5.1.0,
2.5.0.0, 2.4.2.0, 2.4.1.0, 2.4.0.2, 2.4.0.1, 2.4.0.0, 2.3.2.0, 2.3.1.0,
2.3.0.0, 2.2.0.0, 2.0 (conflict: directory => unix==2.7.1.0/installed-643...)
Dependency tree exhaustively searched.