Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: idris (user goal)
rejecting: idris-0.9.20.1, 0.9.20, 0.9.19.1, 0.9.19, 0.9.18.1, 0.9.18,
0.9.17.1, 0.9.17, 0.9.16, 0.9.15.1, 0.9.15, 0.9.14.3, 0.9.14.2, 0.9.14.1,
0.9.14, 0.9.13.1, 0.9.13, 0.9.12, 0.9.11.2, 0.9.11.1, 0.9.11, 0.9.10.1,
0.9.10, 0.9.9.3, 0.9.9.2, 0.9.9.1, 0.9.9, 0.9.8, 0.9.7, 0.9.6.1, 0.9.6,
0.9.5.1, 0.9.5, 0.9.4.1, 0.9.4, 0.9.3.1, 0.9.3, 0.9.2.1, 0.9.2, 0.9.1, 0.9.0,
0.1.7.1, 0.1.7, 0.1.5 (global constraint requires ==0.1.4)
trying: idris-0.1.4
trying: base-4.8.1.0/installed-4f7... (dependency of idris-0.1.4)
trying: epic-0.9.3.3 (dependency of idris-0.1.4)
trying: process-1.2.3.0/installed-f02... (dependency of epic-0.9.3.3)
next goal: haskell98 (dependency of idris-0.1.4)
rejecting: haskell98-2.0.0.3 (conflict: base==4.8.1.0/installed-4f7...,
haskell98 => base>=4.7 && <4.8)
rejecting: haskell98-2.0.0.2 (conflict: base==4.8.1.0/installed-4f7...,
haskell98 => base==4.6.*)
rejecting: haskell98-2.0.0.1, 2.0.0.0 (conflict: process =>
directory==1.2.2.0/installed-258..., haskell98 => directory>=1.1 && <1.2)
rejecting: haskell98-1.1.0.1, 1.1.0.0, 1.0.1.1 (conflict:
base==4.8.1.0/installed-4f7..., haskell98 => base>=3 && <4.6)
rejecting: haskell98-1.0.1.0 (conflict: base==4.8.1.0/installed-4f7...,
haskell98 => base<4.6)
rejecting: haskell98-1.0 (conflict: base==4.8.1.0/installed-4f7..., haskell98
=> base<4.3)
Backjump limit reached (change with --max-backjumps).