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 (global
constraint requires ==0.9.10.1)
trying: idris-0.9.10.1
trying: deepseq-1.4.1.1/installed-8fb... (dependency of idris-0.9.10.1)
next goal: trifecta (dependency of idris-0.9.10.1)
rejecting: trifecta-1.5.2, 1.5.1.3, 1.5.1.2, 1.5.1.1, 1.5.1, 1.5, 1.4.3,
1.4.2, 1.4.1, 1.4, 1.2.1.1, 1.2.1, 1.2 (conflict: idris => trifecta==1.1)
rejecting: trifecta-1.1 (conflict: deepseq => array==0.5.1.0/installed-d42...,
trifecta => array>=0.3.0.2 && <0.5)
rejecting: trifecta-1.0, 0.53, 0.52, 0.51.0.1, 0.51, 0.50.2.1, 0.50.1, 0.50,
0.49.1, 0.49, 0.47, 0.46, 0.45, 0.44, 0.43, 0.42, 0.41, 0.40, 0.39, 0.38,
0.37, 0.36.3, 0.36.2, 0.36.1, 0.36, 0.35, 0.34, 0.32.1, 0.32, 0.31, 0.30,
0.29, 0.28, 0.27, 0.26, 0.25, 0.24, 0.23, 0.22, 0.21, 0.20, 0.19, 0.18, 0.17,
0.16.1, 0.16, 0.15.1, 0.15, 0.14, 0.13, 0.12, 0.11, 0.10, 0.9, 0.8.0.1, 0.8,
0.7.2, 0.7.1, 0.7, 0.6, 0.5.1, 0.5, 0.4, 0.3, 0.2, 0.1 (conflict: idris =>
trifecta==1.1)
Dependency tree exhaustively searched.