Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: uAgda (user goal)
rejecting: uAgda-1.2.0.4 (global constraint requires ==1.2.0.3)
trying: uAgda-1.2.0.3
next goal: BNFC-meta (dependency of uAgda-1.2.0.3)
rejecting: BNFC-meta-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.9 (dependency of BNFC-meta-0.2.2)
next goal: th-orphans (dependency of haskell-src-meta-0.6.0.9)
rejecting: th-orphans-0.12.1, 0.12.0 (conflict: haskell-src-meta =>
th-orphans>=0.9.1 && <0.12)
trying: th-orphans-0.11.1
trying: nats-1 (dependency of th-orphans-0.11.1)
trying: nats-1:+hashable
trying: hashable-1.2.3.2 (dependency of nats-1:+hashable)
next goal: bytestring (dependency of hashable-1.2.3.2)
rejecting: bytestring-0.10.4.0/installed-9f4... (conflict: deepseq==1.4.1.1,
bytestring => deepseq==1.3.0.2/installed-733...)
trying: bytestring-0.10.6.0
trying: haskell-src-exts-1.16.0.1 (dependency of haskell-src-meta-0.6.0.9)
trying: cpphs-1.19 (dependency of haskell-src-exts-1.16.0.1)
trying: directory-1.2.1.0/installed-4c4... (dependency of cpphs-1.19)
next goal: unix (dependency of directory-1.2.1.0/installed-4c4...)
rejecting: unix-2.7.0.1/installed-0d8... (conflict: bytestring==0.10.6.0, unix
=> bytestring==0.10.4.0/installed-9f4...)
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.0.1/installed-0d8...)
Dependency tree exhaustively searched.